Formal Methods and Software Engineering
Formal Methods and Software Engineering
Fatiha Zaïdi
,
Michael Butler
,
Sylvain Conchon
Details
OL Work ID
OL20711025W
Subjects
Software engineering
Find this book
Open Library