An idea for teaching formal methods better

by Hillel Wayne - (0 min read)