Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland

Bibliographic Details
Other Authors: Claessen, Koen, editor (editor), Kuncak, Viktor, editor
Format: eBook
Published: Austin, Texas : FMCAD 2014.
Series:ACM Other conferences
See on Biblioteca Universitat Ramon Llull:

Similar Items