Presentations for Abstract Context Institutions

Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science ◽

10.1007/3-540-45645-7_13 ◽

2002 ◽

pp. 256-279 ◽

Author(s):

Wiesław Pawłowski

Download Full-text