DMCA

The PER model of abstract non-interference (2005)

by Sebastian Hunt , Isabella Mastroeni
Venue:Proc. of The 12th Internat. Static Analysis Symp. (SAS ’05), volume 3672 of Lecture Notes in Computer Science
Citations:17 - 10 self