Correct by Construction Language Implementations

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

Possibly Related Publications

The following publications are possibly variants of this publication: