abstract
- Tabular expressions, also called tables, are formal notations using tables to organize mathematical functions and relations. They have been widely used in documenting and analyzing software specification. Different tools are developed to support …