41 |
Formal Verification in the Polyhedral Model ; Vérification Formelle dans le Modèle Polyédrique
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011522 ; Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français (2004)
|
|
BASE
|
|
Show details
|
|
42 |
Language approaches for program design and implementation ; Approches langages pour la conception et la mise en oeuvre de programmes
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-00011212 ; Génie logiciel [cs.SE]. Université Rennes 1, 2000 (2000)
|
|
BASE
|
|
Show details
|
|
|
|