Title Formal Methods in Computer-Aided Design

Published Los Alamitos, California : IEEE Computer Society Began with 1st (1996)

Online access available from: IEEE Xplore    01 Jan. 2006- View Resource Record

Copies

Description Online resource Notes Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL Description based on: 2006; title from PDF title page (IEEE Xplore website, viewed April 3, 2019) Latest issue consulted: 2018 (IEEE Xplore website, viewed April 3, 2019) Subject Digital integrated circuits -- Computer-aided design -- Congresses Digital integrated circuits -- Design and construction -- Data processing -- Congresses Computer-aided design -- Congresses Automatic theorem proving -- Congresses Integrated circuits -- Verification -- Congresses Form Electronic journal Author IEEE Computer Society LC no. 2019204112 ISSN 2642-732X 2641-8177

ABBREV TI Form. Methods Comput.-Aided Des. (Online) OTHER TI Formal Methods in Computer-Aided Design (Online) Other Titles At head of title: Proceedings of Proceedings of Formal Methods in Computer-Aided Design FMCAD ..

  Permalink