Colin O'Halloran : Publications

Click here to download all publications in a single bibtex file

@article{7753,
  title = "Test-data Generation for Control Coverage by Proof",
  author = "A. Cavalcanti and S. King and C. O'Halloran and J. Woodcock",
  year = "2013",
  issn = "0934-5043",
  journal = "Formal Aspects of Computing",
  pages = "1-29",
  url = "http://link.springer.com/article/10.1007%2Fs00165-013-0279-2",
  doi = "10.1007/s00165-013-0279-2",
}

@article{7752,
  title = "From Control Law Diagrams to Ada via Circus",
  author = "A. Cavalcanti and P. Clayton and C. O'Halloran",
  year = "2011",
  issn = "0934-5043",
  journal = "Formal Aspects of Computing",
  pages = "465-512",
  url = "http://link.springer.com/article/10.1007%2Fs00165-010-0170-3",
  volume = "23",
  doi = "10.1007/s00165-010-0170-3",
}