Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.ukc.ac.uk/people/staff/hb5/Elsewhere/
Organizers: Howard Bowman
Description:
Devoted to applications of Formal Methods to any area
other than communication protocols and software
engineering.
Date received: March 03, 2000
© 2008 Atlas Conferences Inc.