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

• Άλλοι συγγραφείς: Ivrii, Alexander (Επιμελητής έκδοσης), Strichman, Ofer (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Κεφάλαιο βιβλίου
• Γλώσσα: Αγγλικά
• Έκδοση: Vienna TU Wien Academic Press 2020
• Σειρά: Conference Series: Formal Methods in Computer-Aided Design 1
• Θέματα: 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
• Διαθέσιμο Online: OAPEN Library: download the publication; OAPEN Library: description of the publication