Reusable and Understandable Formal Verification for Cyber-Physical Systems (bibtex)

Reference:

Taylor T. Johnson, "Reusable and Understandable Formal Verification for Cyber-Physical Systems", In 1st International Workshop on Formal Approaches to Explainable VERification (FEVER'17), 2017.

Bibtex Entry:

@inproceedings{johnson2017fever,
  title = {Reusable and Understandable Formal Verification for Cyber-Physical Systems},
  author = {Taylor T. Johnson},
  year = {2017},
  booktitle = {1st International Workshop on Formal Approaches to Explainable VERification (FEVER'17)},
  publabel = {W13},
  pubtype = {W},
  pdf = "research/johnson2017fever.pdf",
}