Friends or Foes? Communities in Software Verification (Invited Lecture).

Helmut Veith

Browse the full CSL paper archive.