Vol. 4171 Verified Software: Theories, Tools, Experiments : First IFIP TC2/WG 2.3 Conference, VSTTE 2005 Zurich, Switzerland, October 10-13, 2005 Revised Selected Papers and Discussions
Enregistré dans:
| Autres auteurs: | , |
|---|---|
| Format: | Livre |
| Langue: | anglais |
| Publié: |
Springer Berlin Heidelberg,
2008
|
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|