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

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar