On Formal Methods Thinking in Computer Science Education | Heykuki News