„Programmanalyse“

Suchergebnisse

478 Treffer

• Verification, model checking, and abstract interpretation – 10th international conference ; proceedings
  Jones, Neil D. 2008 Springer
• Runtime verification – 8th international workshop ; selected papers
  Leucker, Martin 2008 Springer
• Formal methods and software engineering – proceedings
  Liu, Shaoying 2008 Springer
• Verified software: theories, tools, experiments – second international conference ; proceedings
  Shankar, Natarajan 2008 Springer
• Verified software: theories, tools, experiments – first IFIP TC 2/WG 2.3 conference ; revised selected papers and discussions
  Meyer, Bertrand 2008 Springer
• Tools and algorithms for the construction and analysis of systems – 14th international conference ; proceedings
  Ramakrishnan, C. R. 2008 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Programming languages and systems – 5th Asian symposium ; proceedings
  Shao, Zhong 2007 Springer
• Tools and algorithms for the construction and analysis of systems – 13th international conference ; proceedings
  Grumberg, Orna 2007 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Program analysis and compilation, theory and practice – essays dedicated to Reinhard Wilhelm on the occasion of his 60th Birthday
  Reps, Thomas W. ; Wilhelm, Reinhard 2007 Springer
• Formal methods and software engineering – proceedings
  Liu, Zhiming 2006 Springer
• Leveraging applications of formal methods – first international symposium ; revised selected papers
  Margaria, Tiziana 2006 Springer
• Programming languages and systems – 4th Asian symposium ; proceedings
  Kobayashi, Naoki 2006 Springer
• Formal methods – proceedings
  Misra, Jayadev 2006 Springer
• Hardware and software verification and testing – revised selected papers
  Ur, Shmuel 2006 Springer
• Verification, model checking, and abstract interpretation – 7th international conference ; proceedings
  Emerson, E. Allen 2006 Springer
• Formal methods – proceedings
  Fitzgerald, John 2005 Springer
• Programming languages and systems – third Asian symposium ; proceedings
  Yi, Kwangkeun 2005 Springer
• Formal methods – proceedings
  Araki, Keijiro 2003 Springer