Login / Signup

Soundly Proving B Method Formulæ Using Typed Sequent Calculus.

Pierre Halmagrand
Published in: ICTAC (2016)
Keyphrases
  • dynamic programming
  • general purpose