Structured implementation of symbolic execution: A first part in a program verifier
From MaRDI portal
Publication:1216047
DOI10.1016/0020-0190(75)90041-1zbMath0302.68046OpenAlexW2071684302MaRDI QIDQ1216047
Publication date: 1975
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(75)90041-1
Cites Work
This page was built for publication: Structured implementation of symbolic execution: A first part in a program verifier