%0 Journal Article %1 journals/sttt/AbdullaL13 %A Abdulla, Parosh Aziz %A Leino, K. Rustan M. %D 2013 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 2 %P 85-88 %T Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems. %U http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#AbdullaL13 %V 15

@article{journals/sttt/AbdullaL13, added-at = {2020-04-02T00:00:00.000+0200}, author = {Abdulla, Parosh Aziz and Leino, K. Rustan M.}, biburl = {https://www.bibsonomy.org/bibtex/203876b3f2ed911972aca2ca5567a2dd0/dblp}, ee = {https://doi.org/10.1007/s10009-013-0270-5}, interhash = {3da1fc148a1cd16b5ccf22745322ec7b}, intrahash = {03876b3f2ed911972aca2ca5567a2dd0}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 2, pages = {85-88}, timestamp = {2020-04-03T11:55:03.000+0200}, title = {Tools for software verification - Introduction to the special section from the seventeenth international conference on tools and algorithms for the construction and analysis of systems.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt15.html#AbdullaL13}, volume = 15, year = 2013 }