Automatic Generation of Contracts for Concurrent Java Programs

Citation:
Pereira, H. G., D. G. Sousa, J. S. Bradbury, and J. M. Lourenço, Automatic Generation of Contracts for Concurrent Java Programs, , Submitted.