nico-tinsley documents

Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny
Documents Software Model Checking for Confidentiality Rajeev Alur University of Pennsylvania Joint work with Pavol Cerny