author : Phil Stocks

Short works

• A Tale of Two Paradigms: Formal Methods and Software Testing. 1994. (In 8th Z User Workshop )