Philippe Suter. Programming with Specifications. PhD thesis, EPFL, Switzerland, 2012. [doi]
@phdthesis{ch-747,
title = {Programming with Specifications},
author = {Philippe Suter},
year = {2012},
url = {https://infoscience.epfl.ch/record/182684},
researchr = {https://researchr.org/publication/ch-747},
cites = {0},
citedby = {0},
school = {EPFL, Switzerland},
}