Yazar
Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy
Yazar
Kravets, Alla. editor. (orcid)0000-0003-1675-8652
Format:
Electronic Resources
Alıntı:
Technologies: Software Design and Application.
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International
Yazar
Stamelos, Ioannis. editor.
Format:
Electronic Resources
Alıntı:
Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th
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
Yazar
Maedche, Alexander. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems. http://scigraph.springernature.com/things
Yazar
Ishai, Yuval. editor.
Format:
Electronic Resources
Alıntı:
Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part II / Ishai
Yazar
Ishai, Yuval. editor.
Format:
Electronic Resources
Alıntı:
Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part I / Ishai
Yazar
Ishai, Yuval. editor.
Format:
Electronic Resources
Alıntı:
Applications of Cryptographic Techniques, Darmstadt, Germany, May 19–23, 2019, Proceedings, Part III / Ishai
Arama Sonuçlarını Sınırlandır
Daraltılmış: