Typed MSR: Syntax and Examples (2001)

by Iliano Cervesato
Venue:FIRST INTERNATIONAL WORKSHOP ON MATHEMATICAL METHODS, MODELS AND ARCHITECTURES FOR COMPUTER NETWORKS SECURITY — MMM’01
Citations:32 - 19 self