Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
The RE command
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Home
–
Contact
@Article{swamy-hicks-08, author = "Nikhil Swamy and Michael Hicks", title = "Verified enforcement of stateful information release policies", journal = "SIGPLAN Notices", year = "2008", volume = "43", number = "12", pages = "21--31", url = "http://doi.acm.org/10.1145/1513443.1513448", }