Abstract Theories in HOL

Publisher Website

1 January 1993

book chapter
Published by Elsevier

p. 197-210
https://doi.org/10.1016/b978-0-444-89880-7.50019-x

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

Parameterized Programming
IEEE Transactions on Software Engineering, 1984