Biblio

Found 1 results
Filters: Author is Tiwari, Ashish  [Clear All Filters]
2017
Tiwari, A., "Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis", "Analysis of Software and Hardware" @ CAV 2017, Heidelberg, Germany, CAV: International Conference on Computer-Aided Verification, 2017.