脡惫猫苍别尘别苍迟
Distributed system security via logical frameworks
Vendredi, 18 novembre, 2005 15:30
Pavillon McConnell (g茅nie)
3480, rue University, Montr茅al, QC, H3A 0E9, CA
Frank Pfenning, Universit茅 Carnegie Mellon.