@inproceedings{VanStadenCalcagnoMeyer12, author = {Stephan van Staden and Cristiano Calcagno and Bertrand Meyer}, title = {Freefinement}, booktitle = {Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, pages = {7--18}, urltopdf = {/people/vanstaden/Freefinement.pdf}, year = {2012}, month = {January}, publisher = {ACM, New York, NY, USA}, }