Publication:3835042
From MaRDI portal
zbMath0678.68082MaRDI QIDQ3835042
Publication date: 1988
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Semantic models for total correctness and fairness, Program correctness and matricial iteration theories, On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data, A transformational characterization of if-then-else, Semantic models for total correctness and fairness, A note on guarded theories