J. P. Bowen

Formal methods and testing

2008

High-integrity system specification and design

1999

Applications of formal methods

1995

Towards verified systems

Towards verified systems

1994