Jove released

The folks at Newisys finally got their Java verification framework open sourced. Check it out at jove.sf.net.

No comments yet.

Leave a Reply