Probabilistic Quantitative Model Checking People (First 1 people) - Page 0

Marta Kwiatkowska

Polish computer scientist