Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Foundations of Probabilistic Programming

Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, Etaps 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proceedings

Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures

Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Foundations of Probabilistic Programming

Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures