Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Paolo Masci. Decomposing bytecode verification by abstract interpretation. ACM Transactions on Programming Languages and Systems, 31(1), 2008. [doi]
No reviews for this publication, yet.