Buy Me a Coffee at ko-fi.com

Formal specification

mathematically based techniques whose purpose are to help with the implementation of systems and software

Pronunciation
/ˈfɔːməl ˌspɛsɪfɪˈkeɪʃən/
/ˈfɔrməl ˌspɛsəfəˈkeɪʃən/
Categories