Result: Trail-directed Java program verification

*Title*:

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

*Author/editor-in-chief*:

*Publication*:

Freiburg : Univ., 2002

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

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

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

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

*Subject Added Keywords*:

*Result*: Trail-directed Java program verification