Document Preview

Software model checking for confidentiality

Cerny, Pavol.   University of Pennsylvania ProQuest Dissertations Publishing,  2009. 3381507.