Skip to main content
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Infoscience
English
French
Log In
Log in with EPFL account
Log in with local account
Home
Academic and Research Output
Conferences, Workshops, Symposiums, and Seminars
Relational Analysis of Algebraic Datatypes
conference paper
Relational Analysis of Algebraic Datatypes
Kuncak, Viktor
•
Jackson, Daniel
2005
Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering
Files
Details
Metrics