Yazar
Duan, Zhenhua. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France
View Other Search Results
Yazar
Calinescu, Radu. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK
Yazar
Crnkovic, Ivica. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods
Yazar
Merz, Stephan. editor.
Format:
Electronic Resources
Alıntı:
Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods
Yazar
Strichman, Ofer. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Gibson-Robinson, Thomas. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Bouajjani, Ahmed. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
Yazar
Desmedt, Yvo. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Yazar
Piterman, Nir. editor.
Format:
Electronic Resources
Alıntı:
Software engineering.
Arama Sonuçlarını Sınırlandır
Daraltılmış: