About this scholarly article

Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - [mc]square: A Model Checker for Microcontroller Code by Schlich, Bastian; Kowalewski, Stefan is a scholarly article available to read on EtoBox.

Author

Schlich, Bastian; Kowalewski, Stefan

Publisher

IEEE

Published

2006

Language

EN