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
Artho, Cyrille. editor.
Format:
Electronic Resources
Alıntı:
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France
Yazar
Serrano, Manuel. editor.
Format:
Electronic Resources
Alıntı:
Trends in Functional Programming 16th International Symposium, TFP 2015, Sophia Antipolis, 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
Grabowski, Jens. editor.
Format:
Electronic Resources
Alıntı:
, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings / Grabowski, Jens. editor.
Yazar
Combemale, Benoit. editor.
Format:
Electronic Resources
Alıntı:
France, Robert B. editor.
Yazar
George, Laurent. editor.
Format:
Electronic Resources
Alıntı:
Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings / George, Laurent. 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
Bensalem, Saddek. editor.
Format:
Electronic Resources
Alıntı:
of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings / Bensalem, Saddek. editor.
Arama Sonuçlarını Sınırlandır
Daraltılmış: