Search Results - Keller, Chantal,
- Showing 1 - 1 results of 1
-
1
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 by TAP (Conference) Porto, Portugal), SpringerLink (Online service)
Published: Springer, 2019Other Authors:Description: 1 online resource (x, 207 pages) : illustrations (some color).Call Number: Loading…SpringerLink - Click here for access
Located: Loading…
Conference Proceeding eBook