Formal methods competence at SCCH

F. Kossak. Formal methods competence at SCCH. number SCCH-TR-0901, 1, 2009.

Autoren
  • Felix Kossak
TypTechnischer Bericht
NummerSCCH-TR-0901
Monat1
Jahr2009
Abstract We give an overview over past activities of SCCH in the field of formal methods, and the competence that was thereby built up