Executable higher-order algebraic specifications
Published in Lecture notes in computer science • Nov 13, 2005
NobleIDNI0P21W42R72S66
Authors:
Jean-Pierre Jouannaud
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!