John Penix · 1 obras en el catálogoObrasSSPIN Model Checking and Software VerificationSPIN Model Checking and Software Verification