Yazar
Sankaranarayanan, Sriram. editor.
Format:
Electronic Resources
Alıntı:
Application software.
Yazar
Fränzle, Martin. editor.
Format:
Electronic Resources
Alıntı:
Application software.
View Other Search Results
Yazar
Skavhaug, Amund. editor.
Format:
Electronic Resources
Alıntı:
Application software.
Yazar
Lutz, Carsten. editor.
Format:
Electronic Resources
Alıntı:
Application software.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings
Yazar
Lucanu, Dorel. editor.
Format:
Electronic Resources
Alıntı:
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering
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
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Albert, Elvira. editor.
Format:
Electronic Resources
Alıntı:
Information Systems Applications (incl. Internet).
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
, TACAS 2014, 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ış: