Goanna
From MaRDI portal
Software:19043
No author found.
Related Items (3)
Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules ⋮ Counterexample Guided Path Reduction for Static Program Analysis
This page was built for software: Goanna
