Yazar
Sun, Jing. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods
Yazar
Feng, Xinyu. editor.
Format:
Electronic Resources
Alıntı:
Dependable Software Engineering. Theories, Tools, and Applications 4th International Symposium
View Other Search Results
Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Math Applications in Computer Science. https://scigraph.springernature.com/ontologies/product
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: