Yazar
Dutle, Aaron. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
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
View Other Search Results
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International
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ı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Arama Sonuçlarını Sınırlandır
Daraltılmış: