Showing 1 - 1 results of 1 for search 'Andrew Gacek', query time: 0.02s
Refine Results
-
1
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