Kowalewski, Stefan
[HerausgeberIn];
Philippou, Anna
[Sonstige Person, Familie und Körperschaft]
;
TACAS 15 2009 York,
ETAPS 12 2009 York
Tools and algorithms for the construction and analysis of systems
: 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Tools and algorithms for the construction and analysis of systems
:
15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 ; proceedings