Yliès Falcone

Books that list Yliès Falcone among their authors but not as the lead author: co-written works, collections and compilations.

Formal Methods in Outer SpaceEzio Bartocci

Formal Methods in Outer Space

Ezio Bartocci · 2021

Lectures on Runtime VerificationEzio Bartocci

Lectures on Runtime Verification

Ezio Bartocci · 2018