Klaus Havelund; John Penix; Willem Visser profile picture

Klaus Havelund; John Penix; Willem Visser

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

SPIN Model Checking and Software Verification