ATLAS: From Access conTrol Language to ACSL Specifications.

Julien Signoles, Khaoula Boukir, Amine Nasri

Browse the full GPCE paper archive.