*Result*: Automated termination proofs for Java programs with cyclic data
*Title*:
Automated termination proofs for Java programs with cyclic data / Marc Brockschmidt ..
*Author/editor-in-chief*:
*Publication*:
Aachen : RWTH, 2012
*Distribution*:
Hannover : Technische Informationsbibliothek (TIB)
*Physical description scale*:
Online-Ressource (31 S., 436 KB) : graph. Darst.
*Format*:
*Language*:
*eng*
*series_multipart*:
Aachener Informatik-Berichte ; 2012, 06
Technical report / Department of Computer Science, RWTH Aachen
Technical report / Department of Computer Science, RWTH Aachen