chengb@ss9.cps.msu.edu (Dr. Betty Cheng) (06/27/91)
I am looking for references to papers concerning work in the area of algorithms/tools that construct specifications from program code. Thus far, I have a reference to the paper, ``From Code to Z Specifications'' by P. Breuer, K. Lano, in the 1989 Z User Workshop Proceedings: Springer-Verlag Workshops in Computer Science. Unfortunately, our library does not have this proceedings. I was wondering if anyone has a copy of this and could fax or send me a copy of the article. (FAX #: (517) 336-1061 (preferred) Address: Department of Computer Science Michigan State University East Lansing, MI 48824 ) Any other relevant references is greatly appreciated!! Thanks for any information. Betty Cheng Department of Computer Science Michigan State University (517) 355-8344 chengb@cps.msu.edu P.S. I will post a summary, if there is interest.