Search Results - Keller, Chantal,

  • Showing 1 - 1 results of 1
Refine Results
  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, 2019
    Description: 1 online resource (x, 207 pages) : illustrations (some color).
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    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

Search Tools: