Koji Ishii, Shin-ya Nishizaki. Static Code Analysis Using Refinement Types based on Design by Contract. In Proceedings of the 9th International Conference on Software and Computer Applications, ICSCA 2020, Langkawi, Malaysia, February 18-21, 2020. pages 357-363, ACM, 2020. [doi]
@inproceedings{IshiiN20,
title = {Static Code Analysis Using Refinement Types based on Design by Contract},
author = {Koji Ishii and Shin-ya Nishizaki},
year = {2020},
doi = {10.1145/3384544.3384587},
url = {https://doi.org/10.1145/3384544.3384587},
researchr = {https://researchr.org/publication/IshiiN20},
cites = {0},
citedby = {0},
pages = {357-363},
booktitle = {Proceedings of the 9th International Conference on Software and Computer Applications, ICSCA 2020, Langkawi, Malaysia, February 18-21, 2020},
publisher = {ACM},
isbn = {978-1-4503-7665-5},
}