jStar: Towards Practical Verification for Java (0)

by D Distefano, M Parkinson
Venue:In OOPSLA: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications