Buscas alternativas:
programming verification » program verification (Expandir a busca), programming education (Expandir a busca)
developing programming » developing programs (Expandir a busca), developmental programming (Expandir a busca)
verification algorithm » elimination algorithm (Expandir a busca), identification algorithms (Expandir a busca), classification algorithm (Expandir a busca)
algorithm using » algorithms using (Expandir a busca), algorithm design (Expandir a busca)
using method » using methods (Expandir a busca), tuning method (Expandir a busca), dosing method (Expandir a busca)
Mostrando 1 - 1 resultados de 1 para a busca 'developing programming verification algorithm using method', tempo de busca: 0,21s

1

Um Formalismo de Gramática de Grafos para Corretude de Memória Transacional de Software

Publicado em 2023
Acessar documento
Tese