Space Invader @ East London Massive

Tuesday, May 06, 2008

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.