2 citations · 2 across the 1 of their papers we have counts for
1 paper
André Trindade, João Mota, António Ravara
Development of software is an iterative process. Graphical tools to represent the relevant entities and processes can be helpful. In particular, automata capture well the intended…