@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} }