Formal Methods for Industrial Critical Systems

Ediciones (1)

• Formal Methods for Industrial Critical Systems (2023)

  Springer · inglés · ISBN 9783031436802

Más obras de Alessandro Cimatti

Theory and Applications of Satisfiability Testing – SAT 2012

Software Engineering and Formal Methods