@article{IS03,
title = {Temporal logic properties of Java objects },
author = {Iosif, Radu and Sisto, Riccardo},
year = {2003},
journal = {Journal of Systems and Software},
number = {3},
pages = {243-251},
volume = {68},
team = {DCS,PACSS},
}
