Home
About us
Stories
Catalog
Media
Home
Catalog
Authors
J. P. Bowen
J. P. Bowen
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
5
Formal methods
Formal methods and testing
Industrial-strength formal methods in practice
High-integrity system specification and design
Towards verified systems
