Lucid—A Formal System for Writing and Proving Programs
- 1 September 1976
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 5 (3), 336-354
- https://doi.org/10.1137/0205029
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Models of LCFPublished by Defense Technical Information Center (DTIC) ,1973