Percorrer por autor Nakajima, Shin Subscrever estatísticas do autor Nakajima, Shin

Índice: 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 inserir as letras iniciais:  

Mostrar 2-2 de um total de 2 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2015Studying verification conditions for imperative programsLourenço, Cláudio Filipe Belo Silva; Lamraoui, Si-Mohamed; Nakajima, Shin, et al.ArtigoAcesso aberto
Mostrar 2-2 de um total de 2 resultados. < anterior