Percorrer por autor P. Mateus

Í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 resultados 1-1 de 1.
DataTítuloAutor(es)TipoAcesso
2007Reasoning about probabilistic sequential programsLuís Cruz-Filipe; R. Chadha; P. Mateus; A. SernadasarticleopenAccess