Electronic Notes in Theoretical Computer Science, Volume 25

Volume 25, 1999

The 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Basesd Systems
Carmel (California, USA), October 23 - October 26, 1998