%0 Thesis %1 ghazi2015relational %A Ghazi, Aboubakr Achraf el %D 2015 %K dnb Informatik %T Relational Reasoning - Constraint Solving, Deduction, and Program Verification

@phdthesis{ghazi2015relational, added-at = {2016-05-30T21:15:05.000+0200}, author = {Ghazi, Aboubakr Achraf el}, biburl = {https://www.bibsonomy.org/bibtex/2a051f15adca8ed4eff7e88d3d1df511c/genealogie}, dnbtitleid = {1080246274}, interhash = {067ef05179dcd638ccd30e9b316a7bf1}, intrahash = {a051f15adca8ed4eff7e88d3d1df511c}, keywords = {dnb Informatik}, school = {Uni Karlsruhe}, timestamp = {2016-05-30T21:15:05.000+0200}, title = {Relational Reasoning - Constraint Solving, Deduction, and Program Verification}, year = 2015 }