[thesis.git] / src / hooke / plugins.tex

\subsection{Plugins for analysis}
\label{sec:hooke:plugins}