1. Barnes, J., Chapman, R., Johnson, R., Widmaier, J., Cooper, D., Everett, B.: Engineering the tokeneer enclave protection software. In: ISSSE 2006, IEEE Computer Society, Los Alamitos (2006)
2. Baudin, P., Filliâtre, J.-C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI C specification language (October 2008), Version 1.4,
http://frama-c.cea.fr/download/acsl_1.4.pdf
3. Boldo, S., Filliâtre, J.-C.: Formal verification of floating-point programs. In: ARITH18, Montpellier, France, June 2007, IEEE Computer Society, Los Alamitos (2007)
4. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Leino, K.R.M., Poll, E.: An overview of JML tools and applications. Int. J. STTT 7(3), 212–232 (2005)
5. Lecture Notes in Computer Science;E. Cohen,2009