Maria Spichkova. "Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?. In Paolo Milazzo, Dániel Varró, Manuel Wimmer, editors, Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Volume 9946 of Lecture Notes in Computer Science, pages 242-252, Springer, 2016. [doi]
@inproceedings{Spichkova16,
title = {"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?},
author = {Maria Spichkova},
year = {2016},
doi = {10.1007/978-3-319-50230-4_18},
url = {http://dx.doi.org/10.1007/978-3-319-50230-4_18},
researchr = {https://researchr.org/publication/Spichkova16},
cites = {0},
citedby = {0},
pages = {242-252},
booktitle = {Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers},
editor = {Paolo Milazzo and Dániel Varró and Manuel Wimmer},
volume = {9946},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-50229-8},
}