Document Zbl 0384.68016

The algebraic semantics of recursive program schemes. (English) Zbl 0384.68016

Math. Found. Comput. Sci. 1978, Proc. 7th Symp. Zakopane, Lect. Notes Comput. Sci. 64, 16-30 (1978).

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

68Q60

Specification and verification (program logics, model checking, etc.)

PDF BibTeX XML

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	keyword
dt	document type (j: journal article; b: book; a: book article)