ISBN 9783319414799 books & textbook
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)
Seiter, Julia Wille, Robert Drechsler, Rolf
Springer /2016-07-11 Paperback / 102 Pages
isbn-10: 3319414798 / isbn-13: 9783319414799
