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
Language:Inglés
Published: Austin, Texas : FMCAD 2014.
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009712950306719
Description
Item Description:Includes index.
Physical Description:1 online resource (219 pages)