## Typed MSR: Syntax and Examples (2001)

### Cached

### Download Links

- [www.cs.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- [theory.stanford.edu]
- DBLP

### Other Repositories/Bibliography

by
Iliano Cervesato

Venue: | FIRST INTERNATIONAL WORKSHOP ON MATHEMATICAL METHODS, MODELS AND ARCHITECTURES FOR COMPUTER NETWORKS SECURITY — MMM’01 |

Citations: | 32 - 19 self |