Shunsuke Nanaumi, Kazunori Wagatsuma, Hongbiao Gao, Yuichi Goto, Jingde Cheng. A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas. In Ngoc Thanh Nguyen, Bogdan Trawinski, Raymond Kosala, editors, Intelligent Information and Database Systems - 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I. Volume 9011 of Lecture Notes in Computer Science, pages 634-643, Springer, 2015. [doi]
Abstract is missing.