Programming Rule Static Verification for Reliable Software.

Philippe Robert

Browse the full SAFECOMP paper archive.