Languages: English | Français
A mathematically rigorous technique for the specification, development, and verification of software systems.
Source: NIST AI 100-2e2025 | Category:
