scientific article; zbMATH DE number 194510
From MaRDI portal
Publication:4692467
zbMATH Open0734.68063MaRDI QIDQ4692467FDOQ4692467
Authors:
Publication date: 5 June 1993
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 107451
- Program verification. Fundamental issues in computer science
- scientific article; zbMATH DE number 51717
- A theoretical basis for stepwise refinement and the programming calculus
- Mathematics of program construction. 375th anniversary of the Groningen University, international conference, Groningen, Netherlands, June 26-30, 1989. Proceedings
General topics in the theory of software (68N01) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (10)
- Title not available (Why is that?)
- Cocktail: A tool for deriving correct programs
- Title not available (Why is that?)
- ZB 2005: Formal Specification and Development in Z and B
- Non-deterministic expressions and predicate transformers
- Title not available (Why is that?)
- Enumerating \(k\)-way trees
- From formal logic through program transformations to system dynamics: 40 years of meeting points with Martin Wirsing
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4692467)
