Abstract Non-Interference (2008)

by Roberto Giacobazzi , Isabella Mastroeni
Venue:DEPARTMENT OF COMPUTER SCIENCE - UNIVERSITY OF VERONA
Citations:6 - 3 self