Document Zbl 0329.68018

Symbolic execution and program testing. (English) Zbl 0329.68018

Commun. ACM 19, 385-394 (1976).

Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0329.68018

68N01	General topics in the theory of software
68W30	Symbolic computation and algebraic computation
68T15	Theorem proving (deduction, resolution, etc.) (MSC2010)

PDF BibTeX XML Cite

Full Text: DOI

any	anywhere
an	internal document identifier
au	author, editor
ai	internal author identifier
ti	title
la	language
so	source
ab	review, abstract
py	publication year
rv	reviewer
cc	MSC code
ut	uncontrolled term
dt	document type (j: journal article; b: book; a: book article)