Integrated program verification tools in education

Software - Practice and Experience, Volume 43, Number 4, page 403-418 - april 2013

BibTex references

@Article\{DGG13,
  author       = "de Caso, Guido and Garbervetsky, Diego and Gor\'{\i}n, Daniel",
  title        = "Integrated program verification tools in education",
  journal      = "Software - Practice and Experience",
  number       = "4",
  volume       = "43",
  pages        = "403-418",
  month        = "april",
  year         = "2013",
  keywords     = "education;formal methods;automated program verification;Eclipse plug-in",
  url          = "http://publicaciones.dc.uba.ar/Publications/2013/DGG13"
}

Other publications in the database

» Guido de Caso
» Diego Garbervetsky
» Daniel Gorín