Arjen Rouvoet. Correct by Construction Language Implementations. PhD thesis, Delft University of Technology, Netherlands, 2021. [doi]
@phdthesis{basesearch-11497, title = {Correct by Construction Language Implementations}, author = {Arjen Rouvoet}, year = {2021}, url = {https://www.base-search.net/Record/1e6fe873d5d0acb3a5de8047fb1fa97de70745ea28b8e0fc035a41dd1b257d0d}, note = {base-search.net (fttudelft:oai:tudelft.nl:uuid:f0312839-3444-41ee-9313-b07b21b59c11)}, researchr = {https://researchr.org/publication/basesearch-11497}, cites = {0}, citedby = {0}, school = {Delft University of Technology, Netherlands}, }