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:36 - 22 self