SPECWARE: Formal Support for Composing Software (1995)

Cached

Download Links

by Yellamraju V. Srinivas , Yellamraju V. Srinivas , Richard Jüllig , Richard Jullig
Venue:In Mathematics of Program Construction
Citations:75 - 0 self