1
Assuntos:
“...CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO...”
Computação verificada aplicada à resolução de sistemas lineares intervalares densos em arquiteturas multicore
Dissertação