Similar Items: Providing mechanical support for program development in a weakest precondition calculus
- Relations and programs
- An application of the Malliavin calculus in finance
- Modelling the algebra of weakest preconditions
- SSDE : structured software development environment
- A kernel to support computer-aided verification of embedded software
- Generalized nondeterminism and the succinct representation of regular languages