Uldis Donins, Janis Osis, Erika Asnina, Asnate Jansone. Formal Analysis of Objects State Changes and Transitions. In Joaquim Filipe, Leszek A. Maciaszek, editors, ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, 29-30 June, 2012. pages 249-256, SciTePress, 2012.
Abstract is missing.