A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi 0001, Takeshi Tsukada. A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking. In Bruno C. D. S. Oliveira, editor, Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings. Volume 12470 of Lecture Notes in Computer Science, pages 86-104, Springer, 2020. [doi]

This author has not been identified. Look up 'Hiroyuki Katsura' in GoogleThis author has not been identified. Look up 'Naoki Iwayama' in GoogleThis author has not been identified. Look up 'Naoki Kobayashi 0001' in GoogleThis author has not been identified. Look up 'Takeshi Tsukada' in Google

runs on WebDSL