From Software Engineering to Formal Methods and Tools, and Back
From Software Engineering to Formal Methods and Tools, and Back
Maurice H. ter Beek
,
Laura Semini
,
Alessandro Fantechi
Details
OL Work ID
OL20826099W
Find this book
Open Library