@InProceedings{LeinoMueller09a, author = {K. R. M. Leino and P. M\"uller}, title = {Using the Spec\# Language, Methodology, and Tools to Write Bug-Free Programs}, booktitle = {Advanced Lectures on Software Engineering---LASER Summer School 2007/2008}, editor = {P. M\"uller}, year = {2010}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, volume = {6029}, pages = {91-139}, url = {https://doi.org/10.1007/978-3-642-13010-6}, urltext = {[Publisher]} }