Gascón, Adria, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanović, and Sharad Malik. 2014. “Template-Based Circuit Understanding”. In Formal Methods in Computer-Aided Design (FMCAD), 2014, 83–90. IEEE.
Bruno Dutertre
First name
Bruno
Last name
Dutertre