Books by Bernhard Rumpe
Software Engineering and Formal Methods
2015
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
2016
Can't find the book you're looking for? Let us know — it helps us improve.