Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops
Javier Camara
,
Martin Steffen
Details
OL Work ID
OL26758791W
Find this book
Goodreads
Open Library