@InProceedings{PFM10-VSTTE10, author = {Nadia Polikarpova and Carlo A. Furia and Bertrand Meyer}, title = {Specifying Reusable Components}, booktitle = {Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10)}, pages = {127--141}, year = {2010}, editor = {Gary T. Leavens and Peter O'Hearn and Sriram Rajamani}, volume = {6217}, series = {Lecture Notes in Computer Science}, month = {August}, publisher = {Springer}, urltopdf = {/people/furia/pubs/vstte10.pdf}, springer = {http://www.springerlink.com/content/n635n58w85289875/} }