Search results for: Thomas Gibson-Robinson
Formal Aspects of Computing > 2019 > 31 > 3 > 375-409
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 5 > 567-605
Security Informatics > 2016 > 5 > 1 > 1-14
International Journal on Software Tools for Technology Transfer > 2016 > 18 > 2 > 149-167
Formal Aspects of Computing > 2016 > 28 > 3 > 381-407