Atlas home || Conferences | Abstracts | about Atlas
Host: University of Genova
Homepage: http://www.disi.unige.it/wadt2001/
Email: wadt2001@disi.unige.it
Description:
The topics of the workshop include, but are not limited to:
algebraic specification other approaches to formal specification specification languages and methods term rewriting and proof systems specification development systems (concepts, tools, etc.)
Date received: November 02, 2000
© 2008 Atlas Conferences Inc.