Software Verification

Ediciones (1)

• Software Verification (2022)

  Springer International Publishing AG · inglés · ISBN 9783030955601

Más obras de Roderick Bloem

Trusted Systems 5th International Conference Intrust 2013 Graz Austria December 45 2013 Proceedings