Login / Signup

YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B.

Ukachukwu NdukwuA. K. McIver
Published in: ATVA (2010)
Keyphrases