N°Spécial De Revue/Special Issue
Revue des Nouvelles Technologies de l'Information
Année : 2007
Emmanuelle Choiseau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03376104
Soumis le : mercredi 13 octobre 2021-11:51:02
Dernière modification le : jeudi 4 avril 2024-11:44:28
Dates et versions
Identifiants
- HAL Id : hal-03376104 , version 1
Citer
Yamine Aït-Ameur, Frédéric Boniol, Virginie Wiels. ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2007 Workshop On Leveraging Applications of Formal Methods, Verification and Validation, Dec 2007, Poitiers-Futuroscope, France. Revue des Nouvelles Technologies de l'Information, 2007, 978-2-85428-814-8. ⟨hal-03376104⟩
Collections
12
Consultations
0
Téléchargements