%0 Thesis %1 gobert2007towards %A Gobert, François %D 2007 %K dnb Informatik %T Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs

@phdthesis{gobert2007towards, added-at = {2016-05-31T14:13:20.000+0200}, author = {Gobert, François}, biburl = {https://www.bibsonomy.org/bibtex/2b1a118a228d1f8c9d51d251b30b3d761/genealogie}, dnbtitleid = {989168387}, interhash = {15fd995e1972f3ed7340faa51f62b4ed}, intrahash = {b1a118a228d1f8c9d51d251b30b3d761}, keywords = {dnb Informatik}, school = {Uni}, timestamp = {2016-05-31T14:13:20.000+0200}, title = {Towards putting abstract interpretation of prolog into practice: design, implementation, and evaluation of a tool to verify and optimise prolog programs}, year = 2007 }