Anton Wijs · 3 obras en el catálogoObrasModel Checking SoftwareCConcise Guide to Software VerificationConcise Guide to Software VerificationIIfm 2023Ifm 2023