Leonardo Mariani

No bio available. Add one in Open Library.

Books by Leonardo Mariani (50 max)

+ shelf+ list

Validation of Evolving Software

2015

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina

+ shelf+ list

Proceedings of the Ninth International Workshop on Dynamic Analysis

2011

Leonardo Mariani

+ shelf+ list

Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings

2019

Bernd Finkbeiner, Leonardo Mariani