Publication:4174207
From MaRDI portal
zbMath0392.68006MaRDI QIDQ4174207
Publication date: 1978
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
68N01: General topics in the theory of software
Related Items
Proof tactics for a theory of state machines in a graphical environment, On the total correctness of nondeterministic programs, Relational Semantics Revisited, Unnamed Item, Étude et implémentation d'un système de déduction pour logique algorithmique