Specification and Checking of Software Contracts for Conditional Information Flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Torben Amtoft' in GoogleIdentified as John Hatcliff This author has not been identified. Look up 'Edwin Rodríguez' in GoogleThis author has not been identified. Look up 'Robby' in GoogleThis author has not been identified. Look up 'Jonathan Hoag' in GoogleThis author has not been identified. Look up 'David Greve' in Google

runs on WebDSL