@inproceedings{Ios00,
title = {Formal verification applied to Java concurrent software },
author = {Iosif, Radu},
year = {2000},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000},
pages = {707-709},
publisher = {ACM},
team = {DCS,PACSS},
}