Engineering automation for reliable software - Interim Progress Report (10/01/1999 - 09/30/2000)

Prepared for: U.S. Army Research Office P.O. Box 12211 Research Triangle Park, NC 27709-2211