%0 Journal Article %1 journals/fmsd/0002KV15 %A Bauer, Andreas %A Küster, Jan-Christoph %A Vegliach, Gil %D 2015 %J Formal Methods Syst. Des. %K %N 3 %P 286-316 %T The ins and outs of first-order runtime verification. %U http://dblp.uni-trier.de/db/journals/fmsd/fmsd46.html#0002KV15 %V 46

@article{journals/fmsd/0002KV15, added-at = {2023-12-13T02:11:09.000+0100}, author = {Bauer, Andreas and Küster, Jan-Christoph and Vegliach, Gil}, biburl = {https://www.bibsonomy.org/bibtex/29746fb03ee915757365d67f22f3645c2/admin}, ee = {https://doi.org/10.1007/s10703-015-0227-2}, interhash = {7c00960e2efca971539e923a4a1ba4c5}, intrahash = {9746fb03ee915757365d67f22f3645c2}, journal = {Formal Methods Syst. Des.}, keywords = {}, number = 3, pages = {286-316}, timestamp = {2023-12-13T02:11:09.000+0100}, title = {The ins and outs of first-order runtime verification.}, url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd46.html#0002KV15}, volume = 46, year = 2015 }