@dblp

Measuring Disagreement with Interpolants.

, , and . SUM, volume 12322 of Lecture Notes in Computer Science, page 84-97. Springer, (2020)

Links and resources

Tags

community

  • @jandson
  • @dblp
@dblp's tags highlighted