Search results for: Grigory Fedyukovich
Formal Methods in System Design > 2019 > 55 > 1 > 33-71
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 517-534
Formal Methods in System Design > 2019 > 55 > 1 > 33-71
International Journal on Software Tools for Technology Transfer > 2017 > 19 > 5 > 517-534