Yazar
Reps, Thomas W., (Thomas William) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format:
Electronic Resources
Alıntı:
Text editors (Computer programs)
View Other Search Results
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
Arama Sonuçlarını Sınırlandır