Industrial-Strength Formal Methods in Practice
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey
Details
OL Work ID
OL19857238W
Find this book
Open Library