Sign in
Verification of Habanero Java Programs using Computation Graphs.
Radha Nakade
Eric Mercer
Published in:
ACM SIGSOFT Softw. Eng. Notes (2015)
Keyphrases
</>
java programs
multi threaded
software components
java language