Program derivation

en-GB/ˈpɹəʊɡɹæm ˌdɛɹɪˈveɪʃən/
en-US/ˈpɹoʊɡˌɹæm ˌdɛɹəˈveɪʃən/

Categorias:

formal proof