Formal Methods and Software Engineering
Formal Methods and Software Engineering
Shaoying Liu
,
Kazuhiro Ogata
,
Mark Lawford
Details
OL Work ID
OL20710302W
Subjects
Software engineering
Find this book
Open Library