Login / Signup

Combining higher-order model checking with refinement type inference.

Ryosuke SatoNaoki IwayamaNaoki Kobayashi
Published in: PEPM@POPL (2019)
Keyphrases