Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK | IEEE Conference Publication | IEEE Xplore