Office of Naval Research, 800 North Quincy Street, Arlington, VA 22217-5660

A -- A PROTOTYPE FORMAL METHODS ENVIRONMENT POC Dr. Ralph F. Wachter, ONR 311 (703) 696-4304. CNT N00014-96-C-0364 AMT $97,045.00 DTD 070996 TO Grammatech Inc, One Hopkins Place, Ithaca, NY 14850 (0193)

Loren Data Corp. http://www.ld.com (SYN# 0510 19960712\A-0007.AWD)