Search results for: Jasmin Christian Blanchette
Journal of Automated Reasoning > 2019 > 63 > 2 > 347-368
Journal of Automated Reasoning > 2018 > 61 > 1-4 > 333-365
Journal of Automated Reasoning > 2017 > 58 > 1 > 149-179
Journal of Automated Reasoning > 2017 > 58 > 3 > 341-362
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 127-141
Journal of Automated Reasoning > 2016 > 57 > 3 > 219-244
Journal of Automated Reasoning > 2016 > 56 > 2 > 155-200
Journal of Applied Logic > 2013 > 11 > 1 > 91-102
Software Quality Journal > 2013 > 21 > 1 > 101-126
Journal of Automated Reasoning > 2013 > 51 > 1 > 109-128
Journal of Automated Reasoning > 2011 > 47 > 4 > 369-398
Electronic Notes in Theoretical Computer Science > 2009 > 243 > Complete > 89-103