Simone Di Nardo Di Maio
According to our database1, Simone Di Nardo Di Maio authored at least 4 papers between 2013 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the FM 2015: Formal Methods, 2015
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013