Search results
Formal Aspects of Computing > 2017 > 29 > 5 > 833-852
Formal Methods in System Design > 1999 > 14 > 2 > 213-228
Journal of Automated Reasoning > 1999 > 23 > 3 > 445-498
Formal Aspects of Computing > 2017 > 29 > 5 > 833-852
Formal Methods in System Design > 1999 > 14 > 2 > 213-228
Journal of Automated Reasoning > 1999 > 23 > 3 > 445-498