@inproceedings{WenzlRoesslerPuhm,
  author    = {Wenzl, Matthias and R{\"o}ssler, Peter and Puhm, Andreas},
  title     = {Checking Application-level Properties Using Assertion Synthesis},
  series = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  booktitle = {Proceedings of the ASME/IEEE International Design Engineering Technical Conferences \& Computers and Information in Engineering Conference, August 18-21, 2019, Anaheim, CA, USA},
  pages     = {9},
  subject      = {Assertion-based Verification},
  language  = {en}
}