Cryptomorphisms at Work

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

10.1007/978-3-540-31959-7_3 ◽

2005 ◽

pp. 45-60 ◽

Cited By ~ 3

Author(s):

Carlos Caleiro ◽

Jaime Ramos

Download Full-text