Computer Science Formal Methods People (First 6 people) - Page 0
Christine Paulin-Mohring
Mathematician
Falk Howar
Author
Alberto Lluch Lafuente
Academic
Shaoying Liu
Writer
Jonathan Bowen
British computer scientist