Event

Distributed system security via logical frameworks

Friday, November 18, 2005 15:30
McConnell Engineering Building 3480 rue University, Montreal, QC, H3A 0E9, CA
Frank Pfenning, Carnegie Mellon University
Back to top