Refinement
Subtitle: Semantics, Languages and Applications
Publisher: Springer International Publishing AG
Published: 2018
Language: eng
ISBN-13: 9783319927091
Subjects: Application software, development; Software engineering