@inproceedings{mci/Wonisch2014,
author = {Wonisch, Daniel AND Schremmer, Alexander AND Wehrheim, Heike},
title = {Programs from proofs – Approach and applications},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 67-68 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}