Showing 1 - 3 results of 3 for search 'Barthe, Gilles', query time: 0.01s Refine Results
  1. 1

    Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

    Published in Springer eBooks. (2011)
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
  2. 2

    Programming languages and systems 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011,...

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Programming languages and systems 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings
  3. 3

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

    Published in Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

Search Tools: