Yliès Falcone

Identifiers

Open LibraryOL9996220A

Books by Yliès Falcone

Total count: 1

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

Springer International Publishing AG2021-01-01