Old Web
English
Sign In
Acemap
>
Paper
>
Using formal verification to develop higher assurance, more maintainable financial software
Using formal verification to develop higher assurance, more maintainable financial software
2020
Manfred Kerber
Colin Rowat
Neels Vosloo
Keywords:
Computer science
Software engineering
Software
Formal verification
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]