Morgan, Carroll.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Abstraction, Refinement and Proof for Probabilistic Systems
by:
Morgan, Carroll.; SpringerLink (Online service); McIver, Annabelle.
(Language materials, printed)