author : Mats P. E. Heimdahl

Short works

• A CAD Environment for Safety-Critical Software. 1999. (In Industrial-Strength Formal Methods in Practice )