UTP Designs for Binary Multirelations

Theoretical Aspects of Computing – ICTAC 2014 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-10882-7_23 ◽

2014 ◽

pp. 388-405

Author(s):

Pedro Ribeiro ◽

Ana Cavalcanti

Download Full-text