par Ammirati, Pierluigi;Delzanno, Giorgio ;Ganty, Pierre ;Geeraerts, Gilles ;Raskin, Jean-François ;Van Begin, Laurent
Référence Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02, page (6p.)
Publication Publié, 2002
Référence Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02, page (6p.)
Publication Publié, 2002
Publication dans des actes
Titre: |
|
Auteur: | Ammirati, Pierluigi; Delzanno, Giorgio; Ganty, Pierre; Geeraerts, Gilles; Raskin, Jean-François; Van Begin, Laurent |
Informations sur la publication: | Proceedings of the SAVE’02 workshop, satellite event of ETAPS’02, page (6p.) |
Statut de publication: | Publié, 2002 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |