Science.
by Jeannette M. Wing, Amy Moormann, Zaremski Unintrusive, W. J. Toetenel, Vdm Formal, Software Development Methods, Department Of Electrical, Mark T. V, Specification-based Analysis
http://www.sds.lcs.mit.edu/spd/larch/pub/larch.PS
Add To MetaCart
Abstract:
[77] Mark T. Vandevoorde. Optimizing programs with partial specifications. In Ursula Martin and Jeannette
Citations
No citations identified.

