{"language":[{"iso":"eng"}],"status":"public","date_updated":"2022-01-06T07:03:12Z","publisher":"Universität Paderborn","supervisor":[{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"year":"2011","citation":{"bibtex":"@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }","ieee":"A. Schremmer, <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011.","chicago":"Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011.","mla":"Schremmer, Alexander. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn, 2011.","ama":"Schremmer A. <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn; 2011.","apa":"Schremmer, A. (2011). <i>Function Specification Inference Using Craig Interpolation</i>. Universität Paderborn.","short":"A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011."},"type":"mastersthesis","department":[{"_id":"77"}],"author":[{"last_name":"Schremmer","full_name":"Schremmer, Alexander","first_name":"Alexander"}],"title":"Function Specification Inference Using Craig Interpolation","date_created":"2017-10-17T12:43:00Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"name":"SFB 901 - Project Area B","_id":"3"}],"user_id":"477","_id":"658"}