X-by-Construction - Correctness Meets Probability.

Maurice H. ter Beek, Loek Cleophas, Axel Legay, Ina Schaefer, Bruce W. Watson

Browse the full ISoLA paper archive.