Public

Proving Theorems About Java-Like Byte Code

Published in Lecture notes in computer science • Jan 1, 1999

NobleIDark:/48914/w1/20260524/78A3B2AARecord on NobleID

Authors:

J Strother Moore

Subject

Computer science

Mathematical proof

Programming language

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!