Kimwitu Distribution
Formal Methods and Tools Group
Department of Computer Science
University of Twente
P.O. BOX 217
NL-7500 AE ENSCHEDE
THE NETHERLANDS
email: <kimwitu@cs.utwente.nl>
More information about Kimwitu can be found on the web at:
<http://purl.oclc.org/net/kimwitu>