Michael G. Hinchey; Jonathan P. Bowen profile picture

Michael G. Hinchey; Jonathan P. Bowen

Is this your author profile? Create an account to claim and customize it!

Industrial-Strength Formal Methods in Practice