Pest Formal Specification

Technical Report , DC.FCEN.UBA - 2008
Download the publication : technical_report.pdf [204Ko]  

BibTex references

@TechReport\{DGG08,
  author       = "de Caso, Guido and Garbervetsky, Diego and Gor\'{\i}n, Daniel",
  title        = "Pest Formal Specification",
  institution  = "DC.FCEN.UBA",
  year         = "2008",
  url          = "http://publicaciones.dc.uba.ar/Publications/2008/DGG08"
}

Other publications in the database

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