N. Shaukat, Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen. Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code. Scientific Programming, 2020, 2020. [doi]
No references recorded for this publication.
No citations of this publication recorded.