Publication:3998261
From MaRDI portal
zbMath0729.68044MaRDI QIDQ3998261
Publication date: 23 January 1993
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
Type inference for set theory, Defining relationships in ecology using object-oriented formal specifications
Uses Software