Constructor-based inductive theorem prover Conference Paper uri icon

publication date

  • October 28, 2013