TY - UNPB
AU - Jan Christiansen
AU - Sandra Dylus
N1 - Poster session at the International Conference on the Art, Science, and Engineering of Programming
TI - Proving Inequational Propositions about Haskell Programs in Coq
ER -