author : Danielle Fowler

Short works

• Extending the Useful Application Domain for Formal Methods. 1992. (In 6th Z User Workshop )