First International Workshop on Property Verification for Software Components and Services
Résumé
Workshop Proceedings
Ouvrages
Année : 2007
Christian Attiogbe : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00481603
Soumis le : vendredi 7 mai 2010-00:21:32
Dernière modification le : mardi 14 février 2023-14:32:07
Dates et versions
Identifiants
- HAL Id : hal-00481603 , version 1
Citer
Christian Attiogbe, Daniel Kroening (Dir.). First International Workshop on Property Verification for Software Components and Services. ETH Zurich, pp.72, 2007. ⟨hal-00481603⟩
Collections
42
Consultations
0
Téléchargements