A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas.

Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng

Browse the full ACIIDS paper archive.