1 |
Faciliter l'écriture de spécifications : une étude de cas
|
|
|
|
In: https://hal.inria.fr/inria-00100702 ; [Interne] A01-R-317 || jacquot01a, 2001, 17 p (2001)
|
|
BASE
|
|
Show details
|
|
2 |
Construction et vérification de spécifications d'Interfaces Homme-Machine
|
|
|
|
In: https://hal.inria.fr/inria-00098535 ; [Stage] 98-R-370 || chalaux98a, 1998, 87 p (1998)
|
|
BASE
|
|
Show details
|
|
|
|