Concepedia

Marco Naddeo

MN

Statistics

Publications

2

Citations

25

H-Index

2

Active since

2008

Affiliations

University of Turin(Current)

Marco Naddeo is an author at University of Turin specializing in formal verification, program analysis, and formal methods.

Top concepts

Publications per year

2008–2014

2

Publications

2

Trait-oriented programming in Java 8

Viviana Bono, Enrico Mensa, Marco Naddeo · 2014 · 15 citations · Full text

, , +15

A trait based re-engineering technique for Java hierarchies

Lorenzo Bettini, Viviana Bono, Marco Naddeo · 2008 · 10 citations · Full text

, , +19

Rows per page

1–2 of 2