![](/img/cover-not-exists.png)
Integrated program verification tools in education
Guido de Caso, Diego Garbervetsky, Daniel GorínVolume:
aop
Year:
2012
Language:
english
Pages:
1
DOI:
10.1002/spe.2143
File:
PDF, 1.75 MB
english, 2012