Skip to content

R
RESSAC_Use_Case
Commit cfd1c300 authored by Anthony Leonardo Gracio's avatar Anthony Leonardo Gracio
Browse files
Options

Update the Case study SPARK document 

In particular define more precisely what are the SPARK global contracts
and specify which errors can be found (and how) during the different
phases of the project (software requirements development, etc.).
parent 561c1a93
Hide whitespace changes
Inline Side-by-side
Showing with 0 additions and 0 deletions
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment