2016-04-06

Progress-Sensitive Security for SPARK

Tags

Trustworthy Information Processing

Conference / Medium

Proceedings of the International Symposium on Engineering Secure Software and Systems (ESSoS '16)

Date published

2016-04-06

Date last modified

2019-07-18 12:09:25

Authors

Deepak Garg
Willard Rafnsson
Andrei Sabelfeld

Download