Structured implementation of symbolic execution: A first part in a program verifier

https://doi.org/10.1016/0020-0190(75)90041-1Get rights and content

First page preview

First page preview
Click to open first page preview

References (8)

There are more references available in the full text version of this article.

Cited by (0)

View full text