Just born jStar goes to the US

Very exciting news. Very soon JStar will fly to the US. The paper

jStar: Towards practical verification for Java.
Dino Distefano and Matthew Parkinson.

has been accepted for publication at OOPSLA 2008.