TU Darmstadt / ULB / TUbiblio

Proceedings of the Verification Workshop (VERIFY'01)

Autexier, Serge and Mantel, Heiko (eds.) (2001):
Proceedings of the Verification Workshop (VERIFY'01).
Siena, Italy, Universit`a degli studi di Siena, [Book]

Item Type: Book
Erschienen: 2001
Editors: Autexier, Serge and Mantel, Heiko
Title: Proceedings of the Verification Workshop (VERIFY'01)
Language: English
Number: Techni
Place of Publication: Siena, Italy
Publisher: Universit`a degli studi di Siena
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:10
Additional Information:

proc:Verify2001a workshop in connection with International Joint Conference on Automated Reasoning IJCAR'01

Export:

Optionen (nur für Redakteure)

View Item View Item