toIPA
Home
Blog
Category
Refinement
approaches for producing correct computer programs and simplifying existing programs to enable their formal verification
Pronunciation
/rɪˈfʌɪnmənt/
/rəˈfaɪnmənt/
Categories