Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays.

Torben Amtoft, John Hatcliff, Edwin Rodrguez

Browse the full ESOP paper archive.