Home Advanced Search

Advanced Search - Page 1

Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Bernhard K. Aichernig, Elisabeth Jöbstl, Matthias Kegele (auth.), Margus Veanes, Luca Viganò (eds.)
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers
  • PDF
  • English
  • Year: 2003
  • Author: Tom Maibaum (auth.), Bernhard K. Aichernig, Tom Maibaum (eds.)
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Bernhard K. Aichernig, Carlo A. Furia (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers
  • PDF
  • English
  • Year: 2012
  • Author: David von Oheimb, Sebastian Mödersheim (auth.), Bernhard K. Aichernig, Frank S. de Boer, Marcello M. Bonsangue (eds.)
Principles of Security and Trust: 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
  • PDF
  • English
  • Year: 2016
  • Author: Frank Piessens, Luca Viganò (eds.)
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
  • PDF
  • English
  • Year: 2009
  • Author: Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)
Model-Based Software Testing and Analysis with C#
  • PDF
  • English
  • Year: 2007
  • Author: Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte
Wissenschaftstransfer in Deutschland: Erfahrungen und Perspektiven bei der Integration der gesamtdeutschen Hochschullandschaft
  • PDF
  • German
  • Year: 1993
  • Author: Matthias Middell (auth.), Bernhard Muszynski (eds.)
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
  • PDF
  • English
  • Year: 2009
  • Author: Pierpaolo Degano, Luca Viganò
search