software verification

overview of techniques for verifying software

Kategorier: