DMCA

Towards Specification and Verification of Information Flow in Concurrent Java-like Programs (2014)

by Faculty Of Informatics , Daniel Bruns , Daniel Bruns