Leonardo Mariani

Leonardo Mariani

1 ספרים במאגר

ספרים

Proceedings of the Ninth International Workshop on Dynamic AnalysisLeonardo Mariani

Proceedings of the Ninth International Workshop on Dynamic Analysis

Leonardo Mariani · 2011

ספרים משותפים ואוספים

ספרים שבהם Leonardo Mariani מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Validation of Evolving SoftwareHana Chockler

Validation of Evolving Software

Hana Chockler · 2015

Runtime VerificationBernd Finkbeiner

Runtime Verification

Bernd Finkbeiner · 2019