Publisher
Springer International Publishing
Reference11 articles.
1. S. Alagić, A family of the ODMG object models, invited paper, in Proceedings of ADBIS ‘98. Lecture Notes in Computer Science, vol. 1691 (1999)
2. S. Alagić, Semantics of temporal classes. Inf. Comput. 163, 60–102 (2000)
3. S. Alagić, S. Kouznetsova, Behavioral compatibility of self-typed theories, in Proceedings of ECOOP 2002. Lecture Notes in Computer Science, vol. 2374 (Springer, New York, 2002), pp. 585–608
4. S. Alagić, M. Royer, D. Crews, Temporal verification theories for Java-like classes, in Proceedings of the ECOOP FTfJP06 Workshop: Formal Techniques for Java-Like Programs (2006),
http://www.disi.unige.it/person/AnconaD/FTfJP06/
5. Code Contracts, Microsoft Research,
http://research.microsoft.com/en-us/projects/contracts/