Charles C. Morgan

ספרים שבהם Charles C. Morgan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Abstraction, refinement and proof for probabilistic systemsAnnabelle McIver

Abstraction, refinement and proof for probabilistic systems

Annabelle McIver · 2004