Author Info
Name
Affiliation
Papers
DIEGO MACHADO DIAS
Centro de Informática, Universidade Federal de Pernambuco, Recife, PE, Brazil
2
Collaborators
Citations 
PageRank 
2
2
0.71
Referers 
Referees 
References 
4
31
19
Title
Citations
PageRank
Year
Compositionality and correctness of fault tolerant patterns in HOL4.00.342014
Behavioural preservation in fault tolerant patterns20.372011