VDM++ Test Automation Support. Santos, A. S. Master's thesis, Minho University with exchange to Engineering College of Arhus, July, 2008.
bibtex   
@MASTERSTHESIS{Santos08,
  KEY           = "Santos08",
  AUTHOR        = "Adriana Sucena Santos",
  TITLE         = "{VDM++ Test Automation Support}",
  SCHOOL        = "{Minho University with exchange to Engineering College of Arhus}",
  YEAR          = "2008",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = "I have the pdf PGL"}

%G VDM OVERTURE

Downloads: 0