Automated Technology for Verification and Analysis

Materias

• Automatic theorem proving
• Artificial intelligence

Ediciones (1)

• Automated Technology for Verification and Analysis (2017)

  Springer · ISBN 9783319681665

Más obras de Deepak D'Souza

Verification, Model Checking, and Abstract Interpretation