Login / Signup
Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.
Nurlida Basir
Ewen Denney
Bernd Fischer
Published in:
SAFECOMP (2008)
Keyphrases
</>
automatically generated
keywords
domain knowledge
automatically generate
information sharing
information extraction
automatically created