2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.
2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.
Abstracts and papers."FMCAD 2016 featured a high quality program comprised of five parts: ... a tutorial day with four tutorials, ... a student forum,...
"FMCAD 2016 featured a high quality program comprised of five parts: ... a tutorial day with four tutorials, ... a student forum, and finally the main program consisting of the accepted papers. ... FMCAD also offered the fourth edition of the Student Forum, ..."--Preface.