Software Engineering and Formal Methods
Software Engineering and Formal Methods
Rocco De Nicola
,
Eva Kühn
Details
OL Work ID
OL20729764W
Subjects
Software engineering
Find this book
Open Library