Languages: English | Français
Formal technique used to prove mathematically that a computer program satisfies its specified requirements.
Source: CNSSI 4009-2015 | Category:
