Carsten Freining

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

Carsten Freining, Stefan Kauer, Jürgen F. H. Winkler
Ein Vergleich der Programmbeweiser FPP, NPPV und SPARK. Ada Deutschland Tagung (2002)