Publication:4654277
From MaRDI portal
zbMath1088.68110MaRDI QIDQ4654277
Publication date: 3 March 2005
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items