BibTex

@phdThesis{elghazi:phd,
  author = {Aboubakr Achraf El Ghazi},
  title = {Relational Reasoning -- Constraint Solving, Deduction, and Program Verification},
  school = {Karlsruhe Institute of Technology},
  year = {2015},
  month = {October},
  url = {http://nbn-resolving.org/urn:nbn:de:swb:90-510220}
}