Verified Software. Theories, Tools, and Experiments

Materias

• Computer software, verification

Ediciones (1)

• Verified Software. Theories, Tools, and Experiments (2018)

  Springer · ISBN 9783030035914

Más obras de Ruzica Piskac

Verification, Model Checking, and Abstract Interpretation

Ver todas las obras de Ruzica Piskac →