Tests and Proofs
Subtitle: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...
Publisher: Springer
Published: Sep 11, 2019
Format: paperback
Number of pages: 217
ISBN-13: 9783030311568
Notes: Source title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ... (Lecture Notes in Computer Science (11823))