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
Fichier(s) déposé(s) par l'encodeur |