Show simple item record

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

dc.contributor.editorNadel, Alexander
dc.contributor.editorRozier, Kristin Yvonne
dc.date.accessioned2023-11-17T10:18:19Z
dc.date.available2023-11-17T10:18:19Z
dc.date.issued2023
dc.date.submitted2023-11-16T10:47:30Z
dc.identifierOCN: 1410103635
dc.identifierhttps://library.oapen.org/handle/20.500.12657/85158
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/122375
dc.description.abstractThe 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 in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
dc.languageEnglish
dc.relation.ispartofseriesConference Series: Formal Methods in Computer-Aided Design
dc.rightsopen access
dc.subject.otherFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
dc.titleProceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
dc.typebook
oapen.identifier.doi10.34727/2023/isbn.978-3-85448-060-0
oapen.relation.isPublishedByd5d39cb5-47fb-4fe7-a7da-f356ab83484d
oapen.pages332
dc.seriesnumber4


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access