Progress-sensitive security for SPARK
Paper in proceeding, 2016
Author
Willard Thor Rafnsson
Carnegie Mellon University (CMU)
D. Garg
Max Planck Society
Andrei Sabelfeld
Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 9639 20-37978-3-319-30805-0 (ISBN)
Subject Categories
Software Engineering
DOI
10.1007/978-3-319-30806-7_2
ISBN
978-3-319-30805-0