TU Darmstadt / ULB / TUbiblio

Selected papers from FCS/VERIFY 2002

Autexier, Serge and Cervesato, Iliano and Mantel, Heiko (eds.) (2005):
Selected papers from FCS/VERIFY 2002.
Springer Verlag, [Book]

Item Type: Book
Erschienen: 2005
Editors: Autexier, Serge and Cervesato, Iliano and Mantel, Heiko
Title: Selected papers from FCS/VERIFY 2002
Language: German
Volume: 4 (1-2
Publisher: Springer Verlag
Divisions: 20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
20 Department of Computer Science
Date Deposited: 09 Apr 2010 14:10
Additional Information:

autexier.ea:selected:2005a

Export:

Optionen (nur für Redakteure)

View Item View Item