Faron Moller

1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering --- A White Paper ---
Antonio Cerone and others (2021) · Formal Methods -- Fun for Everybody · Springer International Publishing