INPROCEEDINGS

A Visual Interactive Framework for Formal Derivation

International Conference on Computational Science (ICCS), Springer-Verlag, May, 2005

Author

P. Agron, L. Bachmair and F. Nielsen

Tokyo Research