Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK.

Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby

Browse the full SCAM paper archive.