„Programmextraktion“

Suchergebnisse

5 Treffer

• Verification-based software-fault detection
  Gladisch, Christoph ; Beckert, B. 2011 KIT Scientific Publishing
• Verification-based software-fault detection
  Gladisch, Christoph
• On the constructive content of proofs
  Seisenberger, Monika
• On the constructive content of proofs
  Seisenberger, Monika
• Verification-based software-fault detection
  Gladisch, Christoph 2011 KIT Scientific Publ.