Interpolant tree automata and their application in Horn clause verification Full Written Papers Refereed uri icon

Overview

Time

Date/time value

  • 2016

Identity

Digital Object Identifier (DOI)

  • 10.4204/EPTCS.216.6

Additional Document Info

Parent Title

  • Electronic Proceedings in Theoretical Computer Science, EPTCS

Volume

  • 216

Publisher

  • publisher