Publication:4942018
From MaRDI portal
zbMath0953.68570MaRDI QIDQ4942018
Publication date: 19 March 2000
68Q60: Specification and verification (program logics, model checking, etc.)
zbMath0953.68570MaRDI QIDQ4942018
Publication date: 19 March 2000
68Q60: Specification and verification (program logics, model checking, etc.)