Search results for: P. E. Camurati
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 313-325
Formal Methods in System Design > 2017 > 50 > 1 > 39-74
International Journal on Software Tools for Technology Transfer > 2018 > 20 > 3 > 313-325
Formal Methods in System Design > 2017 > 50 > 1 > 39-74