Towards the automated verification of multi-threaded java programs (2002)

by G Delzanno, J-F Raskin, L Van Begin
Venue:In 8th Int. Conf. on TACAS, number 2280 in LNCS