scientific article
From MaRDI portal
Publication:3323239
zbMath0537.68014MaRDI QIDQ3323239
Piotr Dembinski, Jan Małuszyński, G. Riedewald
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
fixed pointscorrectnessprogramming languagessemanticsabstract machinesprogramm verification attributed grammars
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (1)
This page was built for publication:
