A Formal Programming Model of Orléans Skeleton Library - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

A Formal Programming Model of Orléans Skeleton Library

Fichier non déposé

Dates et versions

hal-00592540 , version 1 (12-05-2011)

Identifiants

  • HAL Id : hal-00592540 , version 1

Citer

Noman Javed, Frédéric Loulergue. A Formal Programming Model of Orléans Skeleton Library. (PaCT), 2011, Kazan, Russia. ⟨hal-00592540⟩
36 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More