Showing 1 - 2 results of 2 for search 'David Baelde', query time: 0.02s
Refine Results
-
1
A Reduced Semantics for Deciding Trace Equivalence by David Baelde, Stéphanie Delaune, Lucca Hirschi
Published 2017-06-01
Article -
2
Abella: A System for Reasoning about Relational Specifications by David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang
Published 2014-12-01
Article