Verification, Model Checking, and Abstract Interpretation

Materias

• Congresses
• Verification
• Computer programs

Ediciones (3)

• Verification, Model Checking, and Abstract Interpretation (2014)

  Springer · ISBN 9783662169674

• Verification, Model Checking, and Abstract Interpretation (2003)

  Springer London, Limited · inglés · ISBN 9783540478133

• Verification, Model Checking, and Abstract Interpretation (2002)

  Springer · inglés · ISBN 9783540436317

Más obras de Agostino Cortesi