Universität Augsburg Lehrstuhl für Softwaretechnik und Programmiersprachen Institut für Informatik D-86135 Augsburg email: schellhorn@informatik.uni-augsburg.de
Zimmer: 2002 Telefon: 0821/598-2124
My main interest is the application of formal methods in software engineering. I am involved in the development of the KIV system.My doctoral thesis Verifikation abstrakter Zustandsmaschinen is available in german either as a gzipped postscript file, or as a pdf file .
You can also get the (unofficial) english translation Verification of Abstract State Machines as a gzipped postscript file, or as a pdf file .