Treffer: Automated detection of non-termination and NullPointerExceptions for Java bytecode
Titel:
Automated detection of non-termination and NullPointerExceptions for Java bytecode / Marc Brockschmidt ..
Beteiligt:
Veröffentlicht:
Aachen : RWTH Aachen, 2011
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource (28 S., 353 KB)
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Aachener Informatik-Berichte ; 2011, 19
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen
Schlagworte: