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]
Abstract is missing.