Propaganda
Hol-ocl.
hol-ocl é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). ...
incorporação incorporação rasa Lógica de ordem superior Ambiente de prova Hol-ocl.
Propaganda
hol-ocl é um ambiente de prova interativo para a linguagem de restrição de objeto (OCL). ...
incorporação incorporação rasa Lógica de ordem superior Ambiente de prova Hol-ocl.
Sobre nós