A basis for verifying multithreaded programs. (2009)

by K R Leino, P Müller
Venue:In Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, ESOP ’09,