Mathematics of Program Construction
From MaRDI portal
Publication:5313085
DOI10.1007/b98756zbMath1106.68341OpenAlexW2492557863MaRDI QIDQ5313085
Publication date: 26 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98756
Related Items (6)
Automated reasoning for probabilistic sequential programs with theorem proving ⋮ Probabilistic Choice in Refinement Algebra ⋮ A probability perspective ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ Modelling higher-order dual nondeterminacy ⋮ Stepwise refinement of sequence diagrams with soft real-time constraints
This page was built for publication: Mathematics of Program Construction
