Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


INFORMATIK 2008 Beherrschbare Systeme - dank Informatik Band 2 P-134, 965-966 (2008).

Gesellschaft für Informatik, Bonn
2008


Editors

Heinz-Gerd Hegering (ed.), Axel Lehmann (ed.), Hans Jürgen Ohlbach (ed.), Christian Scheideler (ed.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

Lightweight Verification 2008

Martin Leucker and Helmut Seidl


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-228-4


Last changed 04.10.2013 18:18:52