4 citations · 10 across the 5 of their papers we have counts for
1 paper · 1 filter
Isabel Nunes, Filipe Luís
In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of f…