BAP

swMATH12790MaRDI QIDQ24714FDOQ24714

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-22110-1_37

Cited In (7)

• Bidirectional grammars for machine-code decoding and encoding
• Abstract interpretation of microcontroller code: intervals meet congruences
• FloPSy
• BakerSFIeld
• XSugar
• Pushdown model checking for malware detection
• Transfer function synthesis without quantifier elimination

This page was built for software: BAP