John Penix

Identifiers

Open LibraryOL10237110A

Books by John Penix

Total count: 1

SPIN Model Checking and Software Verification7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings

Springer London, Limited2006-01-01