E0 222 Formal Methods in Computer Science