author : Andre Wong

Short works

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