Original language | Undefined/Unknown |
---|---|
Title of host publication | Lecture Notes in Computer Science |
Publisher | Springer |
Volume | 1589 |
Publication status | Published - 1999 |
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers
José Luiz Fiadeiro (Editor)
Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript