Constraint specialisation in Horn clause verification Journal Articles Refereed uri icon

Overview

Time

Date/time value

  • 2017

Identity

Digital Object Identifier (DOI)

  • 10.1016/j.scico.2017.01.002

Additional Document Info

Parent Title

  • SCIENCE OF COMPUTER PROGRAMMING

Volume

  • 137

Publisher

  • Excerpta Medica