Concepedia

Author

Michel Lussenburg

Data61

Also Known As

Michel Lussenburg

2

Publications

56

Citations

2

H-Index

16

Concepts

All Affiliations

Data61
ML

About

Michel Lussenburg is an author at Data61 specializing in formal methods, automated reasoning, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

32

2

Computer Engineering

1

1

32

3

Computer Science

1

1

32

4

Software Analysis

1

1

32

5

Software Engineering

1

1

32

Michel Lussenburg

×

1

Publications

32

Citations

1

H-Index

YearCitations

Page 1