Tools:Jambox

From Termination-Portal.org
Revision as of 11:57, 18 December 2008 by Joerg (talk | contribs) (New page: <!-- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend that tool page yourself af...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Jambox (Java Matchbox)

  • developed at Vrije Universiteit Amsterdam, Netherlands
  • home page: http://joerg.endrullis.de/
  • developers: Joerg Endrullis
  • publication: {{{publication}}}


Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Tools:Jambox&oldid=698"