TU Darmstadt / ULB / TUbiblio

Verify'06: Verification Workshop

Autexier, Serge and Mantel, Heiko (eds.) (2006):
Verify'06: Verification Workshop.
Seattle, USA, FLoC, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2006
Editors: Autexier, Serge and Mantel, Heiko
Title: Verify'06: Verification Workshop
Language: German
Place of Publication: Seattle, USA
Publisher: FLoC
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 09 Apr 2010 14:11
Additional Information:

autexier.ea:verify06:2006a workshop in connection with Federated Logic Conference FLoC'06

Export:

Optionen (nur für Redakteure)

View Item View Item