1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…