Suchfeld einblenden
Person Logozzo, Francesco
1 Treffer
Seite < 1 >
Verification, model checking, and abstract interpretation
: 8th international conference ; proceedings / VMCAI 2008, San Francisco, USA, January 7 - 9, 2008. Francesco Logozzo ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 4905)
ISBN 978-3-540-78163-9
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
