scientific article; zbMATH DE number 1487939
From MaRDI portal
Publication:4495065
zbMath0957.68076MaRDI QIDQ4495065
Publication date: 22 November 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)