Search results for: Mark Hills
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 187-205
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 187-205