Treffer: Trail-directed Java program verification

Titel:

Trail-directed Java program verification / Tilman Mehler and Stefan Edelkamp

Verantwortlich:

Veröffentlicht:

Freiburg : Univ., 2002

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (21 S., 176,1 KB) : graph. Darst.

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Universität Freiburg, Institut für Informatik ; 180

Schlagworte:

Zusatz-Informationen