Yazar
Sun, Jing. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods
View Other Search Results
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: