@InProceedings{Martin2018,
  title = {"Testing and Verifying Parallel Programs Using Data Refinement"},
  author = "{Martin}, {Jeremy M. R.}",
  editor = "{Chalmers}, {Kevin} and {Pedersen}, {Jan B{\ae}kgaard} and {Smith}, {Marc L.} and {Skovhede}, {Kenneth} and {Welch}, {Peter H.}",
  pages = "487 -- 498",
  publisher = {"IOS Press, Amsterdam, The Netherlands"},
  booktitle = {"Communicating Process Architectures 2018"},
  isbn = "",
  year = "2018",
  month = {"August"}
}