GDSL

swMATH13118MaRDI QIDQ25036FDOQ25036

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=2559596

Cited In (8)

• Bidirectional grammars for machine-code decoding and encoding
• Improved tool support for machine-code decompilation in HOL4
• biXid
• BAP
• BakerSFIeld
• Rocksalt
• XSugar
• TSL

This page was built for software: GDSL