J. P. Bowen

Books that list J. P. Bowen among their authors but not as the lead author: co-written works, collections and compilations.

Formal methodsPaul Boca

Formal methods

Paul Boca · 2010

Formal methods and testingRobert M. Hierons

Formal methods and testing

Robert M. Hierons · 2008

Industrial-strength formal methods in practiceMichael G. Hinchey

Industrial-strength formal methods in practice

Michael G. Hinchey · 1999