1
Assuntos:
“...[en] LIGHT FORMAL METHOD...”
[en] AN EFFECTIVE ANALYSIS OF EXECUTABLE ASSERTIVES AS INDICATORS OF SOFTWARE FAILS
Tese