New papers
In the FME Teaching Committee, we contribute to efforts worldwide for promoting the teaching of Formal Methods in undergraduate Computer Science curricula. Here are 3 papers on this topic:
On Formal Methods Thinking in Computer Science Education Does Every Computer Scientist Need to Know Formal Methods? Formal Methods in Industry