Treffer: Automated termination proofs for Java programs with cyclic data

Titel:

Beteiligt:

Brockschmidt, Marc

Veröffentlicht:

Aachen : RWTH, 2012

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (31 S., 436 KB) : graph. Darst.

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2012, 06
Technical report / Department of Computer Science, RWTH Aachen

Zusatz-Informationen