Grigore Rosu · 4 obras en el catálogoObrasFFormal Approaches to Software Testing and Runtime VerificatiFormal Approaches to Software Testing and Runtime VerificationAAlgebraic Methodology and Software TechnologyAlgebraic Methodology and Software TechnologyMModel Checking SoftwareModel Checking SoftwareTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
FFormal Approaches to Software Testing and Runtime VerificatiFormal Approaches to Software Testing and Runtime Verification
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems