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
Lorenz, Pascal. editor.
Format:
Electronic Resources
Alıntı:
Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22
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
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Yazar
Fantechi, Alessandro. editor.
Format:
Electronic Resources
Alıntı:
Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, 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
Cohen, Albert. editor.
Format:
Electronic Resources
Alıntı:
Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Yazar
Grabowski, Jens. editor.
Format:
Electronic Resources
Alıntı:
, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / Grabowski, Jens. editor.
Yazar
Dutot, Pierre-François. editor.
Format:
Electronic Resources
Alıntı:
Computing, Grenoble, France, August 24-26, 2016, Proceedings / Dutot, Pierre-François. editor.
Yazar
Butler, Michael. editor.
Format:
Electronic Resources
Alıntı:
, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings / Butler, Michael. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: