Verified Software. Theories, Tools and Experiments

Ediciones (1)

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

  Springer International Publishing AG · inglés · ISBN 9783031258022

Más obras de Akash Lal

Verification, Model Checking, and Abstract Interpretation

CComputer Aided Verification