Files
Details
Title
Relational Analysis of Algebraic Datatypes
Author(s)
Kuncak, Viktor ; Jackson, Daniel
Published in
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Pages
207–216
Date
2005
Note
See https://infoscience.epfl.ch/search.py?recid=110235&ln=en for full version.
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Work outside EPFL
Conference Papers
Published
Work outside EPFL
Conference Papers
Published
Record creation date
2007-08-21