Pointfree Factorization of Operation Refinement

FM 2006: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/11813040_17 ◽

2006 ◽

pp. 236-251 ◽

Cited By ~ 6

Author(s):

José N. Oliveira ◽

César J. Rodrigues

Download Full-text