CITATION STYLE
Amtoft, T., Hatcliff, J., & Rodríguez, E. (2010). Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (pp. 43–63). https://doi.org/10.1007/978-3-642-11957-6_4
Mendeley helps you to discover research relevant for your work.