[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - Soundness of the quasi-synchronous abstraction
Baudart, Guillaume, Bourke, Timothy, Pouzet, MarcYear:
2016
Language:
english
DOI:
10.1109/FMCAD.2016.7886655
File:
PDF, 213 KB
english, 2016