Sára Juhošová. Bringing Formal Verification into Widespread Programming Language Ecosystems. Master's thesis, TU Delft, 2023.
@mastersthesis{Juhoov2023,
title = {Bringing Formal Verification into Widespread Programming Language Ecosystems},
author = {Sára Juhošová},
year = {2023},
researchr = {https://researchr.org/publication/Juhoov2023},
cites = {0},
citedby = {0},
school = {TU Delft},
}