@article{IDH05,
title = {Translating Java for Multiple Model Checkers: The Bandera Back-End },
author = {Iosif, Radu and Dwyer, Matthew B. and Hatcliff, John},
year = {2005},
journal = {Formal Methods in System Design},
number = {2},
pages = {137-180},
volume = {26},
team = {DCS,PACSS},
}