Publication:3998261

zbMath0729.68044MaRDI QIDQ3998261

Antoni Diller

Publication date: 23 January 1993

zbMATH Keywords

refinement; specifications; specificaction language Z

Mathematics Subject Classification ID

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

• Eiffel