Reading Length
Home
Speed Tests
Login
Chantal Keller
Identifiers
Open Library
OL7964547A
Books by Chantal Keller
Total count: 1
Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October ...
Springer
2019-09-11
