Defense Advanced Research Projects Agency (DARPA), Contracts Management Office (CMO), 3701 N. Fairfax Dr., Arlington, VA 22203-1714

A -- FORMAL METHODS FOR SOFTWARE EVOLUTION SOL BAA 98-10 DUE 010598 POC Dr. D. Helen Gill, DARPA/ITO, FAX:(703)522-7161 FORMAL METHODS FOR SOFTWARE EVOLUTION SOL BAA 98-10 DUE 1/5/98 POC Dr. D. Helen Gill, DARPA/ITO, FAX: (703) 522-7161, MODIFICATION 1. This modification is to remove references to abstracts in BAA 98-10 published November 18, 1997. All references to abstracts or abstract submission are to be ignored. BAA 98-10 solicits only full proposals. (0323)

Loren Data Corp. http://www.ld.com (SYN# 0004 19971121\A-0004.SOL)