Wectar - Computers - Computer Science - Conferences - 1996

Aachen '96

URL: http://www-i2.informatik.rwth-aachen.de/old/Events/Aachen1996/
ODP description: Combining the Fifth International Conference on Algebraic and Logic Programming (ALP); the Eighth International Symposium on Programming Languages Implementations, Logics, and Programs (PLILP); and the Third International Static Analysis Symposium (SAS). Aachen, Germany; 24--27 September 1996.
Page title: MOVES: Software Modeling and Verification (Info 2)

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor