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:44 - 27 self