TY  - GEN
T1  - Automatic methods for the refinement of system models from the specification to the implementation
A1  - Seiter, Julia
A1  - Wille, Rober
A1  - Drechsler, Rolf
LA  - English
PP  - Cham
PB  - Springer
YR  - 2017
UL  - https://tuklas.up.edu.ph/Record/UP-99796217613118201
SN  - 9783319414805 (online ISBN)
KW  - System design : Data processing.
KW  - Electronic books.
ER  -