Search results for: David Baelde
2016 IEEE Symposium on Security and Privacy (SP) > 564 - 581
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 93-107
Lecture Notes in Computer Science > Automated Reasoning > Induction > 278-292
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 10. Model Checking and Verification > 391-397
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 92-106
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 3-19