Languages: English | Français
Software engineering method used to specify, develop, and verify the software through application of a rigorous mathematically based notation and language.
Source: CNSSI 4009-2015 | Category:
