DMCA

Making abstract domains condensing

by Roberto Giacobazzi , Francesco Ranzato , Università Di Padova , Francesca Scozzari
Venue:ACM Transactions on Computational Logic
Citations:5 - 2 self