Treffer: Automated termination analysis of Java bytecode by term rewriting

Titel:

Verantwortlich:

Otto, Carsten

Veröffentlicht:

Aachen : RWTH, 2010

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (29 S., 349 KB) : graph. Darst.

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2010, 8
Technical report / Department of Computer Science, RWTH Aachen

Schlagworte:

Zusatz-Informationen