Tecton: A Framework for Specifying and Verifying Generic System Components (1992)

Cached

Download Links

by Deepak Kapur , David R. Musser
Citations:20 - 6 self