2013 Formal Methods in Computer-Aided Design. IEEE.
Citazione stile Chigago Style (17a edizione)2013 Formal Methods in Computer-Aided Design. IEEE.
Citatione MLA (8a ed.)2013 Formal Methods in Computer-Aided Design. IEEE.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.