K. Rustan M. Leino · 3 obras en el catálogoObrasCComputer Aided VerificationComputer Aided VerificationVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract InterpretationProgram Proofs
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
