Resultados da busca - Barthe, Gilles

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,...

Available for University of the Philippines Diliman via SpringerLink. Click here to access

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

Available for University of the Philippine Diliman via Springerlink. Click here to access

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

Available for University of the Philippines Diliman via SpringerLink. Click here to access