Ranking Abstractions
Aziem Chawdhary‚ Byron Cook‚ Sumit Gulwani‚ Mooly Sagiv and Hongseok Yang
Address
Budapest‚ Hangary
Book Title
Proceedings of the 17th European Symposium on Programming
ISBN
978−3−540−78738−9
Month
April
Pages
148–162
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4960
Year
2008