Commit 38cee140 authored by MARCHE Claude's avatar MARCHE Claude

bts 15632

parent f9d36d73
......@@ -53,7 +53,7 @@ See Chapter~\ref{chap:manpages} for more details regarding command lines.
As an introduction to \whyml, we use the five problems from the VSTTE
2010 verification competition~\cite{vstte10comp}.
The source code for all these examples is contained in \why's
distribution, in sub-directory \texttt{examples/programs/}.
distribution, in sub-directory \texttt{examples/}.
\section{Problem 1: Sum and Maximum}
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment