Carsten Freining

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

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

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

Coauthor Index