Publisher
Springer International Publishing
Reference21 articles.
1. Leavens, G.T., Baker, A.L., Ruby, C.: Preliminary design of JML: a behavioral interface specification language for java. SIGSOFT Softw. Eng. Notes 31(3), 1–38 (2006)
2. Parkinson, M., Bierman, G.: Separation logic and abstraction. In: POPL 2005, pp. 247–258. ACM (2005)
3. Leino, K.R.: Toward reliable modular programs. Ph.D. thesis, California Institute of Technology (1995)
4. Bruns, D.: Formal semantics for the java modeling language. Diplomarbeit, Universität Karlsruhe, June 2009
5. Lecture Notes in Computer Science;KRM Leino,2006