%0 Conference Paper %1 journals/corr/Lucio17 %A Lucio, Paqui %B PROLE %D 2016 %E Villanueva, Alicia %K dblp %P 1-19 %T A Tutorial on Using Dafny to Construct Verified Software. %U http://dblp.uni-trier.de/db/series/eptcs/eptcs237.html#Lucio17 %V 237

@inproceedings{journals/corr/Lucio17, added-at = {2018-09-12T00:00:00.000+0200}, author = {Lucio, Paqui}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b249f99b5f259f65788de4b8a67b56bc/dblp}, booktitle = {PROLE}, crossref = {journals/corr/Villanueva17}, editor = {Villanueva, Alicia}, ee = {http://arxiv.org/abs/1701.04481}, interhash = {2293f980d080618a51dcde83162d9208}, intrahash = {b249f99b5f259f65788de4b8a67b56bc}, keywords = {dblp}, pages = {1-19}, series = {EPTCS}, timestamp = {2019-09-27T12:28:05.000+0200}, title = {A Tutorial on Using Dafny to Construct Verified Software.}, url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs237.html#Lucio17}, volume = 237, year = 2016 }