Biblio

Found 1 results
Filters: Author is Brent Carmer  [Clear All Filters]
2017
Gascon, A., A. Tiwari, B. Carmer, and U. Mathur, "Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis", Computer Aided Verification: Springer International Publishing, pp. 86–103, 2017.