A Unifying Framework for Correct Program Construction.

Henning Dierks, Michael Schenke

Browse the full MPC paper archive.