Software Engineering and Formal Methods
Software Engineering and Formal Methods
Gwen Salaün
,
Dimitra Giannakopoulou
Details
OL Work ID
OL20733911W
Subjects
Software engineering
Find this book
Open Library