Sharon Shoham · 2 obras en el catálogoObrasVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract InterpretationCComputer Aided VerificationComputer Aided Verification
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation