@Inproceedings{EPTCS237.1, author = {Lucio, Paqui}, year = {2017}, title = {A Tutorial on Using Dafny to Construct Verified Software}, editor = {Villanueva, Alicia}, booktitle = {{\rm Proceedings XVI Jornadas sobre} Programaci\'on y Lenguajes, {\rm Salamanca, Spain, 14-16th September 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {237}, publisher = {Open Publishing Association}, pages = {1-19}, doi = {10.4204/EPTCS.237.1}, }