scientific article; zbMATH DE number 3612417
From MaRDI portal
Publication:4176941
zbMath0394.68010MaRDI QIDQ4176941
Publication date: 1978
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) Classical first-order logic (03B10) General topics in the theory of software (68N01)
Related Items
