Integration of a Security Type System into a Program Logic
Paper in proceeding, 2007
Author
Reiner Hähnle
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Jing Pan
Philipp Rümmer
University of Gothenburg
F. Walter
Proc. 2nd Symposium on Trustworthy Global Computing, Lucca, Italy, Springer-Verlag LNCS
Vol. 4661 116-131
978-3-540-75333-9 (ISBN)
Subject Categories
Software Engineering
Computer Science
ISBN
978-3-540-75333-9