Introducing institutions

Logics of Programs - Lecture Notes in Computer Science ◽

10.1007/3-540-12896-4_366 ◽

1984 ◽

pp. 221-256 ◽

Cited By ~ 145

Author(s):

J. A. Goguen ◽

R. M. Burstall

Download Full-text