@inproceedings{Berghammer_HS_15,
    address          = {Braga},
    author           = {Berghammer, Rudolf and H\"ofner, Peter and Stucke, Insa},
    booktitle        = {International Conference on Relational and Algebraic Methods in Computer Science},
    month            = sep,
    pages            = {18},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8899.pdf},
    title            = {Tool-Based Verification of a Relational Vertex Coloring Program},
    year             = {2015}
  }