![](/img/cover-not-exists.png)
[ACM Press the 2012 Joint International Conference - Aizu-Wakamatsu and Hamamatsu and Duesseldorf, Japan and Germany (2012.03.08-2012.03.13)] Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments - HCCE '12 - Educational framework for verification of object-oriented programs
Todorova, Magdalina, Kanev, KamenYear:
2012
Language:
english
DOI:
10.1145/2160749.2160755
File:
PDF, 550 KB
english, 2012