Change and Validity Analysis in Deductive Program Verification

M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification, Universität Paderborn, 2012.

Download
No fulltext has been uploaded.
Mastersthesis
Author
Publishing Year
LibreCat-ID

Cite this

Jakobs M-C. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn; 2012.
Jakobs, M.-C. (2012). Change and Validity Analysis in Deductive Program Verification. Universität Paderborn.
@book{Jakobs_2012, title={Change and Validity Analysis in Deductive Program Verification}, publisher={Universität Paderborn}, author={Jakobs, Marie-Christine}, year={2012} }
Jakobs, Marie-Christine. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
M.-C. Jakobs, Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.
Jakobs, Marie-Christine. Change and Validity Analysis in Deductive Program Verification. Universität Paderborn, 2012.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar