Extraction and verification of programs by analysis of formal proofs

From MaRDI portal
Publication:1823656

DOI10.1016/0304-3975(88)90125-9zbMath0681.68019OpenAlexW2084093324MaRDI QIDQ1823656

Werner Alexi

Publication date: 1988

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(88)90125-9




Related Items



Cites Work