MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Science.

Download:
Download as a PDF | Download as a PS
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.