Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)

BIB
Huhn, Michaela and Hungar, Hardi
Electronic Notes in Theoretical Computer Science
09 / 2009
proceedings
Elsevier B.V.
Huhn, Michaela; Hungar, Hardi
Vol. 238, Issue 4