Formal methods competence at SCCH

Authors Felix Kossak
Title Formal methods competence at SCCH
Type techreport
Number SCCH-TR-0901
Institution Software Competence Center Hagenberg GmbH
Month January
Year 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