scientific article
From MaRDI portal
Publication:3999778
zbMath0745.68028MaRDI QIDQ3999778
Ben Potter, J. E. Sinclair, David Till
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zrefinementformal reasoningformal specificationssoftware developmentprogramming techniquespostconditionspreconditions
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (2)
Transformational vs reactive refinement in real-time systems ⋮ An action-based formal model for concurrent real-time systems
This page was built for publication: