@inproceedings{TFNM-VSTTE2013, author = {Julian Tschannen and Carlo A. Furia and Martin Nordio and Bertrand Meyer}, title = {Program Checking With Less Hassle}, booktitle = {Proceedings of Verified Software: Theories, Tools and Experiments (VSTTE)}, year = {2013}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {8164}, urltopdf = {http://se.inf.ethz.ch/people/tschannen/publications/tfnm-vstte13.pdf} }