Typed MSR: Syntax and examples (0)

by I Cervesato
Venue:In 1st International Workshop on Mathematical Methods, Models and Architectures for Computer Networks Security — MMM’01