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]
@inproceedings{NanaumiWGGC15,
title = {A Bidirectional Transformation Supporting Tool for Formalization with Logical Formulas},
author = {Shunsuke Nanaumi and Kazunori Wagatsuma and Hongbiao Gao and Yuichi Goto and Jingde Cheng},
year = {2015},
doi = {10.1007/978-3-319-15702-3_61},
url = {http://dx.doi.org/10.1007/978-3-319-15702-3_61},
researchr = {https://researchr.org/publication/NanaumiWGGC15},
cites = {0},
citedby = {0},
pages = {634-643},
booktitle = {Intelligent Information and Database Systems - 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I},
editor = {Ngoc Thanh Nguyen and Bogdan Trawinski and Raymond Kosala},
volume = {9011},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-15701-6},
}