\newchapter{Symbolic execution}

\leveldown{}

\MathForProg has short intro to symbolic computation.

\renewcommand{\CURPATH}{symbolic}

\input{\CURPATH/exec/main}

\renewcommand{\CURPATH}{symbolic} % again! fck
\input{\CURPATH/reading}
\input{\CURPATH/examples}

\levelup{}
