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; Kuncak, Viktor (FMCAD, 2014)
Includes index.
Keywords: Digital integrated circuits : Computer-aided design : Congresses; Integrated circuits : Verification : Congresses; Formal methods (Computer science) : Congresses