Yazar
Cavalheiro, Simone. editor. (orcid)0000-0002-7442-7379
Format:
Electronic Resources
Alıntı:
Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil
View Other Search Results
Yazar
Majumdar, Rupak. editor.
Format:
Electronic Resources
Alıntı:
of Software and Hardware -- Foundations of Verification -- Distributed and Networked Systems
View Other Search Results
Arama Sonuçlarını Sınırlandır
Daraltılmış: