author : Marsha Chechik

Short works

• Formal Modeling in a Commercial Setting: A Case Study. 1999. (In FM'99 volume 1 )