Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... Notes in Computer Science, Band 11823)

von: Dirk Beyer · Chantal Keller

Taschenbuch

ISBN-13: 978-3-030-31156-8

ISBN-10: 3-030-31156-2

Springer · 10. November 2019