@inproceedings{NordioCalcagnoMuellerMeyerTschannen10, author = {Martin Nordio and Cristiano Calcagno and Bertrand Meyer and Peter M\"uller and Julian Tschannen}, title = {Reasoning about Function Objects}, booktitle = {TOOLS-EUROPE}, editor = {J. Vitek}, year = {2010}, series = {Lecture Notes in Computer Science}, urltopdf = {http://se.inf.ethz.ch/people/nordio/papers/NordioCalcagnoMeyerMuellerTschannen10.pdf}, springer = {http://www.springerlink.com/home/main.mpx} }