Commit 414587c2 authored by Maxime Folschette's avatar Maxime Folschette
Browse files

add web link to documentation

parent cd39c5d7
......@@ -6,6 +6,7 @@ Documentation:
M. Folschette,
The Hoare-fol Tool,
technical report, 2019.
https://hal.archives-ouvertes.fr/hal-02409801v1
Principle:
This implementation defines grammars and trees to represent properties on
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment