2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.
2013 formal methods in computer-aided design : (FMCAD 2013) : Portland, Oregon, USA : 20-23 October 2013 : international conference on formal methods in computer-aided design : FMCAD graduate student forum : joint MEMOCODE/FMCAD tutorial : Oct 2013, Portland, OR.
Papers and abstracts."The thirteenth conference in the series, FMCAD 2013, was held ..."--Preface."The merged conference inherited the name FMCAD, and...