\section{Verifikation funktionaler Programme}


\input{verify/intro}
\input{verify/assoc}
\input{verify/example}
