Formal methods for developing high assurance computer systems: Working group report

M. P.E. Heimdahl, C. L. Heitmeyer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Fingerprint Dive into the research topics of 'Formal methods for developing high assurance computer systems: Working group report'. Together they form a unique fingerprint.

Engineering & Materials Science