Formal methods competence at SCCH

Autoren Felix Kossak
TitelFormal methods competence at SCCH
TypTechnischer Bericht
NummerSCCH-TR-0901
InstitutionSoftware Competence Center Hagenberg GmbH
MonatJanuary
Jahr2009
SCCH ID#901
Abstract

We give an overview over past activities of SCCH in the field of formal methods, and the competence that was thereby built up