%0 Journal Article %1 journals/sttt/SokolskyHL12 %A Sokolsky, Oleg %A Havelund, Klaus %A Lee, Insup %D 2012 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 243-247 %T Introduction to the special section on runtime verification. %U http://dblp.uni-trier.de/db/journals/sttt/sttt14.html#SokolskyHL12 %V 14

@article{journals/sttt/SokolskyHL12, added-at = {2023-01-26T00:00:00.000+0100}, author = {Sokolsky, Oleg and Havelund, Klaus and Lee, Insup}, biburl = {https://www.bibsonomy.org/bibtex/2f7b7758220d0990d601fec80098ab15d/dblp}, ee = {https://doi.org/10.1007/s10009-011-0218-6}, interhash = {dd215e987410509199c6812cf560ff7d}, intrahash = {f7b7758220d0990d601fec80098ab15d}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {243-247}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {Introduction to the special section on runtime verification.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt14.html#SokolskyHL12}, volume = 14, year = 2012 }