Computer-Aided Verification

• 1 January 1993
• book
• Published by Springer Nature
• https://doi.org/10.1007/978-1-4615-3556-0

Abstract

Keywords

• COMPUTER
• HARDWARE
• ALGORITHMS
• AUTOMATA
• FORMAL METHOD
• JOURNAL
• VERIFICATION