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