Compiling program specifications into SAT

Publication
Proceedings of 10th European Symposium on Programming (ESOP 2001)

Related