Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

• Outros Autores: Ivrii, Alexander (Editor), Strichman, Ofer (Editor)
• Formato: Recurso Electrónico Capítulo de Livro
• Idioma: inglês
• Publicado em: Vienna TU Wien Academic Press 2020
• Colecção: Conference Series: Formal Methods in Computer-Aided Design 1
• 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