Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Konferenzbericht
Titel:
Verification, model checking, and abstract interpretation
:
6th international conference, VMCAI 2005, Paris, France, January 17 - 19, 2005 ; proceedings