scientific article
From MaRDI portal
Publication:2703741
zbMath0972.03016MaRDI QIDQ2703741
Carroll Morgan, Annabelle McIver
Publication date: 8 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Algebraic reasoning for probabilistic action systems and while-loops ⋮ Refinement algebra for probabilistic programs
This page was built for publication:
