author : Arne Boralv

Short works

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