Notice de collectivité
- Notice
International SPIN Workshop (7 ; 2000 ; Stanford, Calif)
Congrès
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
2000
Source(s) :
SPIN model checking and software verification [Texte électronique] : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).- Berlin ; New York : Springer, 2000
SPIN model checking and software verification [Texte électronique] : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings / Klaus Havelund, John Penix, Willem Visser (eds.).- Berlin ; New York : Springer, 2000
Identifiant de la notice : ark:/12148/cb17313132g
Notice n° :
FRBNF17313132
Création :
18/02/07