Automatic Generation of Contracts for Concurrent Java Programs

Hugo Pereira, Diogo G. Sousa, Jeremy Bradbury, João M. Lourenço
Posted Sep 8, 2022
Cite