Note that there is a different project called Manta (with lowercase 't'), it is a compiler for Java, its web site is http://www.cs.vu.nl/manta/.
ManTa is the unique program of its kind in Latin Americ with an entry in Formal Methods Projects of the Virtual Library as well as in Formal Methods Education Resources also in the Virtual Library.
NEWS AND EVENTS
ManTa 3.1 beta 6 released
3/Jul/2001New home at Sourceforge
15/Jun/2001More documentation and publications
16/Jun/2000ManTa 3.1 Beta 5 released
31/Mar/2000ManTa 3.1 Beta 4 released