Correct by Construction Language Implementations

Arjen Rouvoet. Correct by Construction Language Implementations. PhD thesis, Delft University of Technology, 2021.

Bibliographies