Modular Development of Correct Meander Programs.

Holger Giese, Guido Wirtz

Browse the full PDPTA paper archive.