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 (0240)

Loren Data Corp. http://www.ld.com (SYN# 0340 19960828\A-0041.AWD)