Search Results - Barthe, Gilles

  • Showing 1 - 3 results of 3
Refine Results
  1. 1

    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


    Cover Image
  2. 2

    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


    Cover Image
  3. 3

    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


    Cover Image

Search Tools: