Carroll Morgan

Œuvres (1)

Couverture : Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

2004