1. Common Criteria for Information Technology Security Evaluation. Technical report (2012)
2. Lecture Notes in Computer Science,2016
3. Lecture Notes in Computer Science;G Barthe,2007
4. Lecture Notes in Computer Science;C Bouillaguet,2007
5. Cok, D.R.: OpenJML: JML for Java 7 by extending OpenJDK. In: Proceedings of the Third International Conference on NASA Formal Methods, pp. 472–479. NFM 2011 (2011)