The previous page is sending you to http://www-sop.inria.fr/members/Didier.Parigot/www/fnc2/presentations/travauxrech/node48.html.

 If you do not want to visit that page, you can return to the previous page.