Integration of a Security Type System into a Program Logic
Paper in proceedings, 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

Subject Categories

Software Engineering

Computer Science

ISBN

978-3-540-75333-9

More information

Created

10/6/2017