Stefan Kauer

Publication Activity (10 Years)

Years Active: 1997-2010
Publications (10 Years): 0

University of Jena, Germany (PHD)

Education History

University of Jena, Germany

PHD

Publications

Stefan Kauer, Jürgen F. H. Winkler
Mechanical inference of invariants for FOR-loops. J. Symb. Comput. 45 (11) (2010)
Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung (2002)
Jürgen F. H. Winkler, Stefan Kauer
Proving Assertions is Also Useful. ACM SIGPLAN Notices 32 (3) (1997)