Concepedia

Author

Renato Diniz

Universidade Federal dos Vales do Jequitinhonha e Mucuri

Also Known As

R. Diniz, Renato Diniz

2

Publications

102

Citations

1

H-Index

16

Concepts

All Affiliations

Universidade Federal dos Vales do Jequitinhonha e Mucuri
RD

About

Renato Diniz is an author at Universidade Federal dos Vales do Jequitinhonha e Mucuri specializing in software architecture, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

101

2

Computer Engineering

1

1

101

3

Computer Science

1

1

101

4

Computer Architecture

1

1

101

5

Software Analysis

1

1

101

Renato Diniz

×

1

Publications

101

Citations

1

H-Index

YearCitations

Page 1