software verification

overview of techniques for verifying software

Kategori: