scientific article
From MaRDI portal
Publication:3835042
zbMath0678.68082MaRDI QIDQ3835042
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Program correctness and matricial iteration theories ⋮ A transformational characterization of if-then-else ⋮ Semantic models for total correctness and fairness ⋮ On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data ⋮ Semantic models for total correctness and fairness ⋮ A note on guarded theories
This page was built for publication: