scientific article
From MaRDI portal
Publication:3839062
zbMath0945.03096MaRDI QIDQ3839062
Publication date: 13 August 1998
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) Categorical logic, topoi (03G30) Abstract model theory (03C95)
Related Items (1)
This page was built for publication:
