author : Gunnar Stalmarck

Short works

• Formal Verification in Railways. 1999. (In Industrial-Strength Formal Methods in Practice )