Home › Authors › Daniel Ratiu 👤 Daniel Ratiu 1 book Books by Daniel Ratiu Formal Methods. FM 2019 Intern Formal Methods. FM 2019 International Workshops 2020