Navegando por autor ALVES, Thayonara de Pontes

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou digite as primeiras letras:

Mostrando resultados 1 a 1 de 1

Data do documento	Título	Autor(es)
27-Out-2020	Porting the software product line refinement theory to the coq proof assistant : a case study	ALVES, Thayonara de Pontes

Mostrando resultados 1 a 1 de 1