Constructor-based inductive theorem prover Conference Paper uri icon

publication date

  • 2013