http://termination-portal.org/mediawiki/index.php?action=history&feed=atom&title=Tools%3AWandaTools:Wanda - Revision history2026-05-14T08:32:33ZRevision history for this page on the wikiMediaWiki 1.34.2http://termination-portal.org/mediawiki/index.php?title=Tools:Wanda&diff=1265&oldid=prevJ.waldmann: Created page with " <!-- 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 pa..."2012-06-26T18:25:26Z<p>Created page with " <!-- 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 pa..."</p>
<p><b>New page</b></p><div><br />
<!--<br />
Please fill in the data so that your tool can be added to some default<br />
categories and a simple tool page can be created. You may extend<br />
that tool page yourself after the following code block.<br />
<br />
Please use the "publication" field to add a reference to a publication<br />
introducing your tool. The "References" page can be used to enter a bibtex<br />
record for this publication.<br />
Example: |publication=[[Bibtex:Giesl04|Automated Termination Proofs with AProVE]]<br />
--><br />
<br />
{{Tool<br />
|shortname=Wanda<br />
|longname=Wanda<br />
|homepage=http://few.vu.nl/~kop/code.html<br />
|country=NL<br />
|university=VU<br />
|developers=Cynthia Kop<br />
|publication=<br />
}}<br />
<br />
<!-- If you want to add some additional information to the tool page, you can do so after this comment. --></div>J.waldmann