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 - Claessen, Koen, editor; Kuncak, Viktor, editor (FMCAD, 2014)
Includes index.