On the Verification of Modules.

Grigoris Antoniou, Volker Sperschneider

Browse the full CSL paper archive.