@inproceedings{IFM2012:LeSmEe, author = {Leonard Lensink and Sjaak Smetsers and Marko van Eekelen}, title = {A Proof Framework for Concurrent Programs}, booktitle = {Proceedings of the 9th International Conference on Integrated Formal Methods (IFM2012)}, volume = {7321}, editor = {Diego Latella and Helen Treharne}, location = {Pisa, Italy}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {174-190}, month = {June}, year = {2012} }