Relational Analysis of Algebraic Datatypes


Published in:
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Year:
2005
Note:
See https://infoscience.epfl.ch/search.py?recid=110235&ln=en for full version.
Laboratories:




 Record created 2007-08-21, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)