Coalgebras in PVS


Author

Sam Owre

Abstract

Slides presented at the IFIP Working Group 1.3 meeting: Foundations of System Specification, Stanford June 29-July 1, 2000

postscript


Sam Owre: owre@csl.sri.com