1 citations · 1 across the 1 of their papers we have counts for
1 paper
Rogerio Atem de Carvalho, Rodrigo Soares Manhaes, Fernando Luiz de Carvalho e Silva
A classical problem in Software Engineering is how to certify that every system requirement is correctly implemented by source code. This problem, albeit well studied, can still be…