„Programmverifikation“

Suchergebnisse

470 Treffer

• Programming languages and systems – proceedings
  Castagna, Giuseppe 2009 Springer
• Formal methods – foundations and applications : revised selected papers
  Oliveira, Marcel Vinícius Medeiros 2009 Springer
• Formal methods for industrial critical systems – 14th international workshop ; proceedings
  Alpuente, María 2009 Springer
• Model checking software – proceedings
  Păsăreanu, Corina S. 2009 Springer
• Hardware and software: verification and testing – proceedings
  Chockler, Hana 2009 Springer
• Leveraging applications of formal methods, verification and validation – third international symposium ; proceedings
  Margaria, Tiziana 2008 Springer
• Programming languages and systems – 6th Asian symposium ; proceedings
  Ramalingam, Ganesan 2008 Springer
• 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
• 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
• Model checking software – proceedings
  Havelund, Klaus 2008 Springer
• Formal methods for industrial critical systems – 12th international workshop ; revised selected papers
  Leue, Stefan 2008 Springer
• Programming languages and systems – proceedings
  Drossopoulou, Sophia 2008 Springer
• Verification, model checking, and abstract interpretation – 8th international conference ; proceedings
  Logozzo, Francesco 2008 Springer
• Static analysis – 14th international symposium ; proceedings
  Nielson, Hanne Riis 2007 Springer
• Model checking software – proceedings
  Bošnački, Dragan 2007 Springer
• Hardware and software, verification and testing – revised selected papers
  Bin, Eyal 2007 Springer
• Formal methods: applications and technology – revised selected papers
  Brim, Luboš 2007 Springer
• Leveraging applications of formal methods – first international symposium ; revised selected papers
  Margaria, Tiziana 2006 Springer