Concepedia

Author

Lélio Brun

Institut national de recherche en sciences et technologies du numériqueORCID

Also Known As

Brun, Lélio, Lelio Brun, Lélio Brun

10

Publications

99

Citations

3

H-Index

20

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numériqueYale UniversityCollège de FranceCentre National de la Recherche Scientifique
LB

About

Lélio Brun is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, formal verification, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

94

2

Computer Science

3

3

94

3

Compilers

3

3

94

4

Computer Engineering

2

2

74

5

Systems Engineering

1

1

57

Lélio Brun

×

3

Publications

94

Citations

3

H-Index

YearCitations

Page 1