Static Code Analysis Using Refinement Types based on Design by Contract - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Koji Ishii' in GoogleThis author has not been identified. Look up 'Shin-ya Nishizaki' in Google

runs on WebDSL