Vassena, Marco
Russo, Alejandro
Buiras, Pablo
Waye, Lucas
This article is maintained by: Elsevier
Article Title: MAC A verified static information-flow control library
Journal Title: Journal of Logical and Algebraic Methods in Programming
CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2017.12.003
Content Type: article
Copyright: © 2017 Elsevier Inc.