Path: utzoo!utgpu!news-server.csri.toronto.edu!mailrus!umich!samsung!uakari.primate.wisc.edu!umriscc!mcs213k.cs.umr.edu!hanan
From: hanan@cs.umr.edu (Hanan Lutfiyya)
Newsgroups: comp.specification
Subject: Formal models of Specifications
Message-ID: <1273@umriscc.isc.umr.edu>
Date: 6 Aug 90 15:47:51 GMT
Sender: news@umriscc.isc.umr.edu
Organization: University of Missouri - Rolla
Lines: 12
Originator: hanan@mcs213k.cs.umr.edu


 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