Modular Reasoning for Actor Specification Diagrams (1999)

Cached

Download Links

by Scott F. Smith , Carolyn L. Talcott
Citations:9 - 5 self