author : Mark Ardis

Short works

• Formal Methods Through Domain Engineering. 1999. (In Industrial-Strength Formal Methods in Practice )