Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops
Manuel Núñez
,
Steve Counsell
Details
OL Work ID
OL27377696W
Find this book
Goodreads
Open Library