Carsten Freining

According to our database, Carsten Freining authored at least 1 paper in 2002.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2002

Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK.

Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002