NobleBlocks
Public

Validating Converted Java Code via Symbolic Execution

Published in Lecture notes in business information processing • Nov 11, 2016
NobleIDark:/48914/w1/20260523/DAAD89CFRecord on NobleID
Authors:
Harry M. Sneed
,
C. Verhoef

Subject

Computer science
Programming language
Code (set theory)
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!