Morgan, Carroll (1952-)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Abstraction, refinement and proof for probabilistic systems by: McIver, Annabelle.; Morgan, Carroll (1952-) (Language materials, printed)

Subjects