Yliès Falcone

No bio available. Add one in Open Library.

Books by Yliès Falcone (50 max)

+ shelf+ list

Lectures on Runtime Verification : Introductory and Advanced Topics

2018

Ezio Bartocci, Yliès Falcone

+ shelf+ list

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

2021

Ezio Bartocci, Yliès Falcone, Martin Leucker