Natasha Sharygina · 4 obras en el catálogoObrasComputer Aided VerificationValidation of Evolving SoftwareSoftware VerificationTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
