Refined Probabilistic Abstraction

Paperback