Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author=MICHAEL, Whalen
cover
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design…
Comment Share
RUZICA, PiskacMICHAEL, Whalen

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMC…

Edition
-
ISBN/ISSN
9783854480464
Collation
-
Series Title
-
Call Number
-