Specification and Checking of Software Contracts for Conditional Information Flow. - Torben Amtoft; John Hatcliff; Edwin Rodríguez; Robby; Jonathan Hoag; David A. Greve (FM, 2008)

Specification and Checking of Software Contracts for Conditional Information Flow. - Torben Amtoft; John Hatcliff; Edwin Rodríguez; Robby; Jonathan Hoag; David A. Greve (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)