Author:
Beckert Bernhard,Ulbrich Mattias
Publisher
Springer International Publishing
Reference31 articles.
1. Paul Ammann and Jeff Offutt. Introduction to software testing. Cambridge University Press, 2008. ISBN: 978-0-521-88038-1.
2. Torben Amtoft and Anindya Banerjee. “Information Flow Analysis in Logical Form”. In: Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26–28, 2004, Proceedings. Ed. by Roberto Giacobazzi. Vol. 3148. Lecture Notes in Computer Science. Springer, 2004, pp. 100–115. ISBN: 3-540-22791-1.
https://doi.org/10.1007/978-3-540-27864-1_10
.
3. Anindya Banerjee, David A. Naumann, and Mohammad Nikouei. “Relational Logic with Framing and Hypotheses”. In: 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13–15, 2016, Chennai, India. Ed. by Akash Lal et al. Vol. 65. LIPIcs. Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, 2016, 11:1–11:16. ISBN: 978-3-95977-027-9.
https://doi.org/10.4230/LIPIcs.FSTTCS.2016.11
.
4. Gilles Barthe, Juan Manuel Crespo, and César Kunz. “Relational Verification Using Product Programs”. In: FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20–24, 2011. Proceedings. Ed. by Michael J. Butler and Wolfram Schulte. Vol. 6664. Lecture Notes in Computer Science. Springer, 2011, pp. 200–214. ISBN: 978-3-642-21436-3.
https://doi.org/10.1007/978-3-642-21437-0_17
.
5. Gilles Barthe, Pedro R. D’Argenio, and Tamara Rezk. “Secure Information Flow by Self-Composition”. In: 17th IEEE Computer Security Foundations Workshop, (CSFW-17 2004), 28–30 June 2004, Pacific Grove, CA, USA. IEEE Computer Society, 2004, pp. 100–114. ISBN: 0-7695-2169-X.
https://doi.org/10.1109/CSFW.2004.17
.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献