Buscar por Autor MENDES, Vitória Maria Pena

Ir a: 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
O introducir las primeras letras:

Mostrando resultados 1 a 1 de 1

Fecha de publicación	Título	Autor(es)
30-abr-2024	An updated theory for communicating sequential processes in Coq	MENDES, Vitória Maria Pena

Mostrando resultados 1 a 1 de 1