[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Literature on parametric theories
- To: pvs@csl.sri.com
- Subject: Literature on parametric theories
- From: Kellom{ki Pertti <pk@cs.tut.fi>
- Date: Thu, 27 May 1999 13:51:46 +0300 (EET DST)
Can someone suggest good literature on parametric theories and
conditions under which such theories can be instantiated?
--
Pertti Kellomaki
Assistant professor
Software Systems Laboratory
Department of Information Technology
Tampere University of Technology
Finland
http://www.cs.tut.fi/~pk