Report copyright - Effective Typestate Verification in the Presence of Aliasingyahave/papers/safe-tosem.pdf · for real-world Java programs. We present a novel framework for verification of typestate
Please pass captcha verification before submit form
Please pass captcha verification before submit form