Relational analysis of algebraic datatypes (2005)

by Viktor Kuncak , Daniel Jackson
Venue:In Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE
Citations:20 - 2 self