Books
Popular
Lists
Blog
About
Log In
Join Free
Home
/
Books
/
Michael G. Hinchey
Michael G. Hinchey
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT))
