Principles of proof scores in CafeOBJ Academic Article uri icon

authors

  • Gaina, Daniel
  • Futatsugi, Kokichi
  • Găină, Daniel
  • Ogata, Kazuhiro

publication date

  • December 2012