2 citations · 3 across the 4 of their papers we have counts for
1 paper · 1 filter
Christian Attiogbe
Tool-assisted analysis of software systems and convenient guides to practise the formal methods are still motivating challenges. This article addresses these challenges. We ex peri…