University of Minnesota
Software Engineering Center
/

You are here

A DSL for cross-domain security

Date of Publication: 
December 2012
Associated Research Groups: 
Publication Files: 
Publisher: 
High Integrity Language Technology ACM SIGAda’s Annual International Conference (HILT 2012)