Design, Specification, and Verification of Interactive Systems
Design, Specification, and Verification of Interactive Systems
Fabio Paterno
Details
OL Work ID
OL9076064W
Find this book
Open Library