Primary tabs
Most recent publications
Selected publications
Available Master's topics
Status
Publication type
Year published
1998
Proceedings, refereed
In Algebraic Methodology and Software Technology, Proceedings of AMAST'98, Ariaú, Amazonas, Brasil, LNCS volume 1548. Lecture Notes in Computer Science. Springer-Verlag, 1998.
Status: Published