author : Anna Mikhajlova

Short works

• Reasoning About Interactive Systems. 1999. (In FM'99 volume 2 )