par Currie, A.;Leuschel, Michaël ;Massart, Thierry
Référence (July 2000: London, UK), Proceedings of International Workshop on Verification and Computational logic VCL'2000, page (49-63)
Publication Publié, 2000
Référence (July 2000: London, UK), Proceedings of International Workshop on Verification and Computational logic VCL'2000, page (49-63)
Publication Publié, 2000
Publication dans des actes
Titre: |
|
Auteur: | Currie, A.; Leuschel, Michaël; Massart, Thierry |
Informations sur la publication: | (July 2000: London, UK), Proceedings of International Workshop on Verification and Computational logic VCL'2000, page (49-63) |
Statut de publication: | Publié, 2000 |
Sujet CREF: | Informatique mathématique |
Langue: | Anglais |