Educational framework for verification of object-oriented programs. - Magdalina Todorova; Kamen Kanev (HCCE, 2012)

Methodological aspects of an approach for verification of object-oriented programs. - Magdalina Todorova (IEEE Conf. of Intelligent Systems, 2012)