Margaria, Tiziana
[Sonstige Person, Familie und Körperschaft];
Steffen, Bernhard
[Sonstige Person, Familie und Körperschaft];
Margaria-Steffen, Tiziana
[HerausgeberIn]
;
ISoLA 1 2004 Paphos
Leveraging applications of formal methods
: first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Leveraging applications of formal methods
:
first international symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 ; revised selected papers