Tudor Jebelean, Martin Giese,
"Proc. Workshop on Invariant Generation, WING 2007"
, Serie RISC Report Series, Nummer 07-07, RISC, University of Linz, Altenbergerstraße 69, 4040 Linz, Austria, 2007
Original Titel:
Proc. Workshop on Invariant Generation, WING 2007
Sprache des Titels:
Englisch
Original Kurzfassung:
Proceedings of the Workshop on Invariant Generation, WING 2007, held at RISC, Hagenberg, Astria, on 25-26 June 2007.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC
Verlagsanschrift:
University of Linz, Altenbergerstraße 69, 4040 Linz, Austria