Formal Methods in System Design
Formal Methods in System Design > 2019 > 54 > 3 > 279-335
Formal Methods in System Design > 2019 > 54 > 3 > 388-415
Formal Methods in System Design > 2019 > 54 > 3 > 364-387
Formal Methods in System Design > 2019 > 54 > 3 > 416-448
Formal Methods in System Design > 2019 > 54 > 3 > 449-478
Formal Methods in System Design > 2019 > 54 > 3 > 336-363