Software Engineering and Formal Methods
Software Engineering and Formal Methods
Alessandro Cimatti
,
Marjan Sirjani
Details
OL Work ID
OL20817372W
Subjects
Software engineering
Find this book
Open Library