Guide to Software Verification with Frama-C

Ediciones (2)

• Guide to Software Verification with Frama-C (2025)

  Springer International Publishing AG · inglés · ISBN 9783031556104

• Guide to Software Verification with Frama-C (2024)

  Springer International Publishing AG · inglés · ISBN 9783031556074

Más obras de Nikolai Kosmatov

Testing Software and Systems