Search results for: David Gilbert
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Specification of Processes and Interactions > 311-328
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Specification of Processes and Interactions > 311-328