![](/img/cover-not-exists.png)
Formal Mathematics for Verifiably Correct Program Synthesis
KREITZ, CHRISTOPHVolume:
4
Year:
1996
Language:
english
Journal:
Logic Journal of IGPL
DOI:
10.1093/jigpal/4.1.75
File:
PDF, 1.16 MB
english, 1996