Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

• Outros Autores: Piskac, Ruzica (Editor), Whalen, Michael (Editor)
• Formato: Recurso Electrónico Capítulo de Livro
• Idioma: inglês
• Publicado em: Vienna TU Wien Academic Press 2021
• Colecção: Conference Series: Formal Methods in Computer-Aided Design 2
• Assuntos: Systems analysis & design; Software testing & verification; Computer architecture & logic design; Mathematical theory of computation; Artificial intelligence; Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
• Acesso em linha: OAPEN Library: download the publication; OAPEN Library: description of the publication