path: root/doc/cs/content/4_execution.tex

\input{content/4_1_design.tex}

\input{content/4_2_specification.tex}

\input{content/4_3_implementation.tex}