Cooperative bug isolation
: winning thesis of the 2005 ACM doctoral dissertation competition / Ben Liblit. - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4440)
ISBN 978-3-540-71878-9
Lizenzpflichtig
Quelle: DNB
Software and compilers for embedded systems
: 7th international workshop ; proceedings / SCOPES 2003, Vienna, Austria, September 24 - 26, 2003. Andreas Krall (ed.). - Berlin : Springer, 2003. - Online-Ressource - (Lecture notes in computer science; 2826)
ISBN 978-3-540-39920-9
Lizenzpflichtig
Quelle: DNB
Static analysis
: 15th international symposium ; proceedings / SAS 2008, Valencia, Spain, July 16 - 18, 2008. María Alpuente ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5079)
ISBN 978-3-540-69166-2
Lizenzpflichtig
Quelle: DNB
Static analysis
: 14th international symposium ; proceedings / SAS 2007, Kongens Lyngby, Denmark, August 22 - 24, 2007. Hanne Riis Nielson ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4634)
ISBN 978-3-540-74061-2
Lizenzpflichtig
Quelle: DNB
Static analysis
: 13th international symposium ; proceedings / SAS 2006, Seoul, Korea, August 29 - 31, 2006. Kwangkeun Yi (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4134)
ISBN 978-3-540-37758-0
Lizenzpflichtig
Quelle: DNB