Détail de l'auteur
Auteur VARDI M Y |
Documents disponibles écrits par cet auteur (3)

![]()
congrès
FORTE 2002 ; VARDI M Y ; PELED D A, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 2002![]()
congrès
INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION, 10. COMPUTER AIDED VERIFICATION : LNCS 1427
CAV 98 ; VARDI M Y ; HU A J, Éditeur scientifique | SPRINGER | LECTURE NOTES IN COMPUTER SCIENCE | 1998![]()
ouvrage