scientific article
From MaRDI portal
Publication:3883474
zbMath0441.68026MaRDI QIDQ3883474
Publication date: 1980
Full work available at URL: https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3195/3180
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Nonstandard models of arithmetic (03H15) General topics in the theory of software (68N01)
Related Items (2)
Non-standard algorithmic and dynamic logic ⋮ A complete logic for reasoning about programs via nonstandard model theory. I
This page was built for publication:
