Publication:3345797
From MaRDI portal
zbMath0552.68066MaRDI QIDQ3345797
Publication date: 1982
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items