
% later:
% \section{Proze�qualit�t}
% \input{dreizehn/cmm}




\section{Spezifikation und Verifikation}


\input{vierzehn/contract}
\input{vierzehn/wp}
\input{vierzehn/veri}

\input{vierzehn/prak}
\input{vierzehn/bubble}

\input{vierzehn/term}







