Modular Compiler Verification pp 15-22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1283)

| Cite as

Galois connections

Chapter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Personalised recommendations