𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 5403 || An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

✍ Scribed by Jones, Neil D.; Müller-Olm, Markus


Book ID
120376244
Publisher
Springer Berlin Heidelberg
Year
2008
Weight
303 KB
Category
Article
ISBN
3540939008

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Veri
✍ Giacobazzi, Roberto; Berdine, Josh; Mastroeni, Isabella 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 267 KB

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full pap