Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David Greve. Specification and Checking of Software Contracts for Conditional Information Flow. In Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Volume 5014 of Lecture Notes in Computer Science, pages 229-245, Springer, 2008. [doi]
@inproceedings{AmtoftHRRHG08,
title = {Specification and Checking of Software Contracts for Conditional Information Flow},
author = {Torben Amtoft and John Hatcliff and Edwin Rodríguez and Robby and Jonathan Hoag and David Greve},
year = {2008},
doi = {10.1007/978-3-540-68237-0_17},
url = {http://dx.doi.org/10.1007/978-3-540-68237-0_17},
tags = {contracts, data-flow, software contracts},
researchr = {https://researchr.org/publication/AmtoftHRRHG08},
cites = {0},
citedby = {0},
pages = {229-245},
booktitle = {FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings},
editor = {Jorge Cuéllar and T. S. E. Maibaum and Kaisa Sere},
volume = {5014},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-68235-6},
}