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.
CONTENTS |
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 28/Apr/2000Link 31/Mar/2000ManTa 3.1 Beta 4 released 11/Dec/1999Link 11/Dec/1999 |