BAP
From MaRDI portal
Software:24714
No author found.
Related Items (4)
Pushdown Model Checking for Malware Detection ⋮ Abstract interpretation of microcontroller code: intervals meet congruences ⋮ Bidirectional grammars for machine-code decoding and encoding ⋮ Transfer Function Synthesis without Quantifier Elimination
This page was built for software: BAP
