Function Specification Inference Using Craig Interpolation
A. Schremmer, Function Specification Inference Using Craig Interpolation, Universität Paderborn, 2011.
Download
No fulltext has been uploaded.
Mastersthesis
| English
Author
Schremmer, Alexander
Supervisor
Publishing Year
LibreCat-ID
Cite this
Schremmer A. Function Specification Inference Using Craig Interpolation. Universität Paderborn; 2011.
Schremmer, A. (2011). Function Specification Inference Using Craig Interpolation. Universität Paderborn.
@book{Schremmer_2011, title={Function Specification Inference Using Craig Interpolation}, publisher={Universität Paderborn}, author={Schremmer, Alexander}, year={2011} }
Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
A. Schremmer, Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
Schremmer, Alexander. Function Specification Inference Using Craig Interpolation. Universität Paderborn, 2011.
Google Scholar