scientific article
From MaRDI portal
Publication:4028628
zbMATH Open0766.68096MaRDI QIDQ4028628
Publication date: 28 March 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items (1)
This page was built for publication:
