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