Yazar
de la Puente, Juan Antonio. editor.
Format:
Electronic Resources
Alıntı:
Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings / de la Puente, Juan Antonio
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Margaria, Tiziana. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Koornneef, Floor. editor.
Format:
Electronic Resources
Alıntı:
Computer Safety, Reliability, and Security SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI
Yazar
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140
Format:
Electronic Resources
Alıntı:
Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Kroening, Daniel. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July
Yazar
Fernández, Maribel. author.
Format:
Electronic Resources
Alıntı:
Software Engineering/Programming and Operating Systems.
Yazar
Franke, Björn. editor.
Format:
Electronic Resources
Alıntı:
Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
Yazar
Steffen, Bernhard. editor.
Format:
Electronic Resources
Alıntı:
Programming languages (Electronic computers).
Yazar
Iida, Shusaku. editor.
Format:
Electronic Resources
Alıntı:
Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi / Iida, Shusaku. editor.
Yazar
Biere, Armin. editor.
Format:
Electronic Resources
Alıntı:
Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna
Arama Sonuçlarını Sınırlandır
Daraltılmış: