Annabelle McIver

Œ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