1. Lecture Notes in Computer Science;A. Adjé,2010
2. Ahn, K.Y., Denney, E.: Testing first-order logic axioms in program verification
3. Alegre, F., Feron, E., Pande, S.: Using ellipsoidal domains to analyze control systems software. CoRR abs/0909.1977 (2009)
4. Axler, S.: Linear Algebra Done Right, 2nd edn. Springer, Heidelberg (1997)
5. Baudin, P., Filliâtre, J.C., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL: ANSI/ISOC specification language. Preliminary design (version 1.5)