Kasali, F. A; Adekunle, Y. A; Izang, A. A; Ebiesuwa, O; Otusile, O
(Foundation of Computer Science, 2016-05)
The knowledge of Formal Methods involves techniques and
tools that are based on mathematics but most students tend to
have poor approach in applying these techniques during
software systems developmental processes despite ...