Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design [electronic resource] : FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland / edited by Koen Claessen and Viktor Kuncak

Additional Titles: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design : Formal Methods in Computer-Aided Design 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland, Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, FMCAD '14, and Formal Methods in Computer-Aided Design Lausanne, Switzerland, October 21-24, 2014
Published: Austin, Texas : FMCAD, 2014.
Physical Description: 1 online resource (219 pages)
Additional Creators: Claessen, Koen and Kuncak, Viktor