Search results for: Mattias Ulbrich
Journal of Automated Reasoning > 2018 > 60 > 3 > 337-363
Formal Methods in System Design > 2018 > 52 > 3 > 229-259
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 6 > 729-744
Journal of Automated Reasoning > 2018 > 60 > 3 > 337-363
Formal Methods in System Design > 2018 > 52 > 3 > 229-259
International Journal on Software Tools for Technology Transfer > 2015 > 17 > 6 > 729-744