1. Lecture Notes in Computer Science;D Clarke,2013
2. Lecture Notes in Computer Science;F Hilken,2015
3. Shimba, H., Hanada, K., Okano, K., Kusumoto, S.: Bidirectional translation between OCL and JML for round-trip engineering. In: 20th Asia-Pacific Software Engineering Conference (APSEC 2013), pp. 49–54. IEEE (2013)
4. Thangaraj, J., SenthilKumaran, U.: Introducing ownership type constraints to UML/OCL. In: International Workshop on Aliasing, Capabilities and Ownership, IWACO17 co located with the 31st European Conference on Object-Oriented Programming, ECOOP 2017, Barcelona, Spain, June 2017
5. Lecture Notes in Computer Science;KRM Leino,2010