Hi everyone,
This is just meant to be a reminder that Dan Zimmerman and Fintan
Fairmichael will be giving our Mobius tutorial "Verification-centric
Development in Java using
BON, JML, and ESC/Java2" on the 1st of July at TOOLS'08 in Zurich.
http://kind.ucd.ie/documents/tutorials/tools08.htmlWe use the Mobius PVE to give these tutorials and a new "tutorials"
workspace is being built to support these events. It will be
available via the main PVE download site at UCD in the near future.
http://kind.ucd.ie/products/opensource/Mobius/If you are coming to TOOLS, or are in Zurich, consider joining us!
Joe Kiniry, Dan Zimmerman, and Fintan Fairmichael
-------------------------------------------------------------------------
Check out the new SourceForge.net Marketplace.
It's the best place to buy or sell services for
just about anything Open Source.
http://sourceforge.net/services/buy/index.php_______________________________________________
JMLspecs-ESCJava mailing list
JMLspecs-ESCJava@...
https://lists.sourceforge.net/lists/listinfo/jmlspecs-escjava
