Library

BJL CLASSMARKS (1-12 of 12)

QA76.9.F67

1 Mark		AFM '07 second Workshop on Automated Formal Methods : November 6, 2007, Atlanta, Georgia New York : ACM, 2007. Access this resource online	2007 EBOOKS

2 Mark		FMCAD 2016 : proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October FMCAD 2016 (16th : 2016 : Mountain View, Calif.) Austin, Texas : FMCAD, 2016. Access this resource online	2016 EBOOKS

3 Mark		ForMABS '16 : proceedings of the International Workshop on Formal Methods for Analysis of Business S New York : ACM, 2016. Access this resource online	2016 EBOOKS

4 Mark		FormaliSE 2016 : proceedings, 4th FME Workshop on Formal Methods in Software Engineering : 15 May 20 FME Workshop on Formal Methods in Software Engineering (4th : 2016 : Austin, Tex.) New York : ACM, 2016. Access this resource online	2016 EBOOKS

5 Mark		FormaliSE 2017 : 2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineer FME Workshop on Formal Methods in Software Engineering (5th : 2017 : Buenos Aires, Argentina) Piscataway, New Jersey : IEEE Press, 2017. Access this resource online	2017 EBOOKS

6 Mark		MEMOCODE '17 : 15th ACM-IEEE International Conference on Formal Methods and Models for System Design New York : ACM, 2017. Access this resource online	2017 EBOOKS

7 Mark		MEMOCODE 2013 eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign : ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Or.) New York : IEEE, 2013. Access this resource online	2013 EBOOKS

8 Mark		MEMOCODE 2013 : eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign ACM and IEEE International Conference on Formal Methods and Models for Co-Design (11th : 2013 : Portland, Or.) New York : IEEE, 2013. Access this resource online	2013 EBOOKS

9 Mark		Proceedings of the 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign ACM and IEEE International Conference on Formal Methods and Models for Co-Design (2015 : Austin, Tex.) Washington, District of Columbia : IEEE Computer Society, 2015. Access this resource online	2015 EBOOKS

10 Mark		Proceedings of the ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign ACM and IEEE International Conference on Formal Methods and Models for Co-Design (9th : 2011 : Washington, D.C.) Washington, District of Columbia : IEEE Computer Society, 2011. Access this resource online	2011 EBOOKS

11 Mark		Proceedings of the tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign ACM and IEEE International Conference on Formal Methods and Models for Co-Design (10th : 2012) Washington, District of Columbia : IEEE Computer Society, 2012. Access this resource online	2012 EBOOKS

12 Mark		Proceedings of the twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign ACM and IEEE International Conference on Formal Methods and Models for Co-Design (12th : 2014) Washington, District of Columbia : IEEE Computer Society, 2014. Access this resource online	2014 EBOOKS