*Result*: Automated detection of non-termination and NullPointerExceptions for Java bytecode
*Title*:
Automated detection of non-termination and NullPointerExceptions for Java bytecode / Marc Brockschmidt ..
*Author/editor-in-chief*:
*Publication*:
Aachen : RWTH Aachen, 2011
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (28 S., 353 KB)
*Format*:
*Language*:
*eng*
*series_multipart*:
Aachener Informatik-Berichte ; 2011, 19
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
*Subject Added Keywords*: