Project team Atoll: ATOLL's tools and resources: SYNTAX
DyALog Join ATOLL
This page is now obsolete. You can take a look at SYNTAX web page on our new project Alpage web site: http://alpage.inria.fr/syntax.fr.html