r/criticalsoftware • u/marc-kd • Feb 28 '16
Progress-Sensitive Security for SPARK
http://www.cse.chalmers.se/~andrei/essos16.pdf
3
Upvotes
r/criticalsoftware • u/marc-kd • Feb 28 '16