Project

General

Profile

Actions

Verification

Checking correspondance between specification and concrete its implementation.

Updated by Mikhail Chupilko almost 13 years ago ยท 1 revisions