author : Kaisa Sere

Short works

• Safety Analysis in Formal Specification. 1999. (In FM'99 volume 2 )