Enabling Continuous Integration in a Formal Methods Setting. Couto, L. D., Tran-J\orgensen, P. W. V., & Larsen, P. G. In Submitted for publication, 2018.
bibtex   
@INPROCEEDINGS{Couto&18,
  KEY           = "Couto\&18",
  AUTHOR        = "Luis Diogo Couto and Peter W. V. Tran-J\o{}rgensen and
                        Peter Gorm Larsen",
  EDITOR        = "",
  TITLE         = "{Enabling Continuous Integration in a Formal Methods Setting}",
  BOOKTITLE     = "Submitted for publication",
  ORGANIZATION  = "",
  PUBLISHER     = "",
  ADDRESS       = "",
  YEAR          = "2018",
  MONTH         = "",
  PAGES         = "",
  COMMENT       = "Please refer to Couto&19"}

%G OVERTURE VDM

Downloads: 0