scientific article
From MaRDI portal
Publication:3998261
zbMath0729.68044MaRDI QIDQ3998261
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (3)
Defining relationships in ecology using object-oriented formal specifications ⋮ A declarative approach to graph based modeling ⋮ Type inference for set theory
Uses Software
This page was built for publication:
