Shingo Fukuoka, Yixiang Chen, Shaoying Liu. Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic. In Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt, editors, Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I. Volume 848 of Communications in Computer and Information Science, pages 83-95, Springer, 2017. [doi]
@inproceedings{FukuokaCL17,
title = {Semi-formal Verification with Supporting Tool by Automatic Application of Hoare Logic},
author = {Shingo Fukuoka and Yixiang Chen and Shaoying Liu},
year = {2017},
doi = {10.1007/978-981-13-0893-2_10},
url = {https://doi.org/10.1007/978-981-13-0893-2_10},
researchr = {https://researchr.org/publication/FukuokaCL17},
cites = {0},
citedby = {0},
pages = {83-95},
booktitle = {Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part I},
editor = {Hanning Yuan and Jing Geng and Chuanlu Liu and Fuling Bian and Tisinee Surapunt},
volume = {848},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-981-13-0893-2},
}