Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tests and Proofs 13th International Conference, TAP 2019, Held as Part of the Third World Congress
Yazar
ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367
Format:
Electronic Resources
Alıntı:
Formal Methods – The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7–11
View Other Search Results
Yazar
Pesado, Patricia. editor. (orcid)0000-0003-0000-3482
Format:
Electronic Resources
Alıntı:
Computer Science – CACIC 2018 24th Argentine Congress, Tandil, Argentina, October 8–12, 2018
Yazar
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507
Format:
Electronic Resources
Alıntı:
Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / Dongol