Magdalina Todorova, Kamen Kanev. Educational framework for verification of object-oriented programs. In Alexander Vazhenin, Jens Herder, Kenjiro T. Miura, editors, The Joint International Conference on Human-Centered Computer Environments, HCCE '12, Aizu-Wakamatsu, Japan - March 08 - 13, 2012. pages 23-27, ACM, 2012. [doi]
Abstract is missing.