Show simple item record

dc.contributor.editorNadel, Alexander
dc.contributor.editorRozier, Kristin Yvonne
dc.date.accessioned2023-11-16T10:47:30Z
dc.date.available2023-11-16T10:47:30Z
dc.date.issued2023
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/85158
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.en_US
dc.languageEnglishen_US
dc.relation.ispartofseriesConference Series: Formal Methods in Computer-Aided Designen_US
dc.subject.otherFormal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoningen_US
dc.titleProceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023en_US
dc.typebook
oapen.identifier.doi10.34727/2023/isbn.978-3-85448-060-0en_US
oapen.relation.isPublishedBy957c0323-9030-48c6-8bd4-a008cf795a7aen_US
oapen.series.number4en_US
oapen.pages332en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record