Paper  bibtex   

@inproceedings{DBLP:conf/nfm/DarabiBH17,
  author    = {Saeed Darabi and Stefan C. C. Blom and Marieke Huisman},
  title     = {A Verification Technique for Deterministic Parallel Programs},
  booktitle = {{NFM}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  pages     = {247--264},
  year      = {2017},
  url       = {https://link.springer.com/chapter/10.1007/978-3-319-57288-8_17}
}