Language-Based Security (1999)

by Dexter Kozen
Venue:IN MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE
Citations:31 - 0 self