Journal on Java Technology
»
Nov 17 2004

TLA+ Eclipse Plugin

by Simon Zambrovski

Boris and me developed the TLA+ Eclipse plugin. Further we introduce a new site, to be a home of such projects: http://www.techjava.de/

The http://www.techjava.de/ will be filled with information soon.

Share and Enjoy:
  • Digg
  • del.icio.us
  • Facebook
  • Google Bookmarks
  • email
  • LinkedIn
  • Live
  • MisterWong
  • MisterWong.DE
  • Print
  • Slashdot
  • Technorati
  • Yigg
  • Twitter
  • PDF
  • RSS
  • StumbleUpon

Post a Comment