Quantitative Modeling and Verification of Evolving Software

Sinem Getir Yaman. Quantitative Modeling and Verification of Evolving Software. PhD thesis, HU Berlin, Germany, 2021. [doi]

Abstract

Abstract is missing.