par Juhl, Line;Larsen, Kim Guldstrand;Raskin, Jean-François
Référence Theories of Programming and Formal Methods, Festschrift for Prof. He Jifeng, page (244-255)
Publication Publié, s.d.
Référence Theories of Programming and Formal Methods, Festschrift for Prof. He Jifeng, page (244-255)
Publication Publié, s.d.
Partie d'ouvrage collectif
Titre: |
|
Auteur: | Juhl, Line; Larsen, Kim Guldstrand; Raskin, Jean-François |
Informations sur la publication: | Theories of Programming and Formal Methods, Festschrift for Prof. He Jifeng, page (244-255) |
Statut de publication: | Publié, s.d. |
Sujet CREF: | Informatique mathématique |
Langue: | N/A |