conference paper
Relational Analysis of Algebraic Datatypes
2005
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Type
conference paper
Author(s)
Date Issued
2005
Published in
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Start page
207
End page
216
Note
See http://infoscience.epfl.ch/search.py?recid=110235&ln=en for full version.
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record