Formal methods competence at SCCH

Autoren Felix Kossak
Titel Formal methods competence at SCCH
Typ Technischer Bericht
Nummer SCCH-TR-0901
Institution Software Competence Center Hagenberg GmbH
Monat January
Jahr 2009
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