Suchergebnisse für "Dirk Beyer/Chantal Keller"

Tests and Proofs

13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11,2019, Proceedings, Lecture Notes in Computer Science 11823 - Programming and Software Engineering

Dirk Beyer/Chantal Keller

Springer Verlag GmbH