Specware: Formal Support for Composing Software.

Yellamraju V. Srinivas, Richard Jllig

Browse the full MPC paper archive.