Integrated program verification tools in education (bibtex)

by Guido de Caso, Diego Garbervetsky and Daniel Gorín

Reference:

Guido de Caso, Diego Garbervetsky and Daniel Gorín: Integrated program verification tools in education, In Softw., Pract. Exper., 43(4), pp. 403–418, 2013.

Bibtex Entry:

@article{DBLP:journals/spe/CasoGG13,
  author    = {Guido de Caso and
               Diego Garbervetsky and
               Daniel Gor\'{\i}n},
  title     = {Integrated program verification tools in education},
  journal   = {Softw., Pract. Exper.},
  volume    = {43},
  number    = {4},
  year      = {2013},
  pages     = {403-418},
  ee        = {http://dx.doi.org/10.1002/spe.2143},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}