Discover open access scientific publications

Search, annotate, share and cite publications

Publications by M.G. Bakulin

Decoding of Machine Instructions for Abstract Interpretation of Binary Code

Proceedings of the Institute for System Programming of the RAS

English