hanan@cs.umr.edu (Hanan Lutfiyya) (08/06/90)
Hi. I am interested in software specifications. I am particularly interested in formal models of software specifications. I would appreciate any information on who is doing work on this subject, or references to work on it. E-mail would be great, and I will summarize here if there is sufficient interest. Thank you! Hanan Lutfiyya hanan@cs.umr.edu