On Formal Verification of Occam Programs.

Otmane At Mohamed, Abdelillah Mokkedem

Browse the full PDPTA paper archive.