Arjen Rouvoet. Correct by Construction Language Implementations. PhD thesis, Delft University of Technology, 2021.
@phdthesis{Rouvoet21,
title = {Correct by Construction Language Implementations},
author = {Arjen Rouvoet},
year = {2021},
researchr = {https://researchr.org/publication/Rouvoet21},
cites = {0},
citedby = {0},
school = {Delft University of Technology},
}