@inproceedings{Berghammer_HS_14,
    address          = {Marienstatt im Westerwald, Germany},
    author           = {Berghammer, Rudolf and H\"ofner, Peter and Stucke, Insa},
    booktitle        = {International Conference on Relational and Algebraic Methods in Computer Science},
    month            = apr,
    pages            = {16},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7613.pdf},
    title            = {Automated Verification of Relational While-Programs},
    year             = {2014}
  }