Home | Legals | Sitemap | KIT

Relational Reasoning -- Constraint Solving, Deduction, and Program Verification

Relational Reasoning -- Constraint Solving, Deduction, and Program Verification
Author:

Aboubakr Achraf El Ghazi

links:
Place:

Karlsruhe Institute of Technology, PhD thesis, 2015

Date: 2015

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