author : Jonathan S. Ostroff

Short works

• Developing BON as an Industrial-Strength Formal Method. 1999. (In FM'99 volume 1 )