3 ms·* Tests * Types (Classes, Structures, ...) * State management * Documentation * Formal modelsby hu3 7y ago* Tests * Types (Classes, Structures, ...) * State management * Documentation * Formal models