Typed MSR: Syntax and examples (2001)

by Iliano Cervesato
Venue:In MMMACNS: International Workshop on Methods, Models and Architectures for Network Security, volume 2052 of LNCS