Concepedia

Mário Benevides

MB

Statistics

Publications

6

Citations

88

H-Index

6

Active since

1992

Affiliations

Universidade Federal do Rio de Janeiro(Current)

Pontifícia Universidade Católica do Rio de Janeiro

Mário Benevides is an author at Universidade Federal do Rio de Janeiro specializing in computer science, formal methods, and logic.

ORCID

Publications per year

1992–2014

6

Publications

6