Yazar
Blazy, Sandrine. editor.
Format:
Electronic Resources
Alıntı:
Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
, Paris, France, November 6, 2015. Revised Selected Papers / Liu, Shaoying. editor.
View Other Search Results
Yazar
Giannakopoulou, Dimitra. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering and Formal Methods 12th International Conference, SEFM 2014, Grenoble, France
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, France
Yazar
Canal, Carlos. editor.
Format:
Electronic Resources
Alıntı:
, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers / Canal, Carlos. editor.
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / Butler, Michael. editor.
Yazar
Escobar, Santiago. editor.
Format:
Electronic Resources
Alıntı:
Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Escobar, Santiago. editor.
Yazar
George, Laurent. editor.
Format:
Electronic Resources
Alıntı:
Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / George, Laurent. editor.
Yazar
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings / Bensalem, Saddek. editor.
Yazar
Gnesi, Stefania. editor.
Format:
Electronic Resources
Alıntı:
Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France
Yazar
Muscholl, Anca. editor.
Format:
Electronic Resources
Alıntı:
, Grenoble, France, April 5-13, 2014, Proceedings / Muscholl, Anca. editor.
Yazar
Ábrahám, Erika. editor.
Format:
Electronic Resources
Alıntı:
2014, Grenoble, France, April 5-13, 2014. Proceedings / Ábrahám, Erika. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: