Stefan Kauer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

2 Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145

1997

1 Jürgen F. H. Winkler, Stefan Kauer: Proving Assertions is Also Useful. SIGPLAN Notices 32(3): 38-41 (1997)

	2002
2		Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler: Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung 2002: 127-145
	1997
1		Jürgen F. H. Winkler, Stefan Kauer: Proving Assertions is Also Useful. SIGPLAN Notices 32(3): 38-41 (1997)

Coauthor Index