DMCA

Proving concurrent noninterference (2012)

by Andrei Popescu , Johannes Hölzl Tobias Nipkow
Venue:In CPP
Citations:6 - 4 self