Abstract satisfaction
Vijay D'Silva‚ Leopold Haller and Daniel Kroening
Book Title
Proceedings of the 41st annual ACM SIGPLAN−SIGACT symposium on Principles of programming languages
Organisation
ACM
Pages
139–150
Year
2014
Vijay D'Silva‚ Leopold Haller and Daniel Kroening