LIBRARY Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 2012 · ENGLISH · PDF View details →
LIBRARY Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Security and Trust Management: 12th International Workshop, STM 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures 2008 · ENGLISH · PDF View details →
LIBRARY Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers 2005 · ENGLISH · PDF View details →
LIBRARY Formal Aspects in Security and Trust: 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers 2006 · ENGLISH · PDF View details →
LIBRARY Smart Card Research and Advanced Applications VI: IFIP 18th World Computer Congress TC8/WG8.8 & TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS) 22–27 August 2004 Toulouse, France 2004 · ENGLISH · PDF View details →
LIBRARY Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures 2009 · ENGLISH · PDF View details →
LIBRARY Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 2012 · ENGLISH · PDF View details →
LIBRARY Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures 2008 · ENGLISH · PDF View details →
LIBRARY Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures 2008 · ENGLISH · PDF View details →
LIBRARY Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →