On automation of OTS/CafeOBJ method Chapter uri icon

Book Title

  • Specification,Algebra, and Software : Essays Dedicated to Kokichi Futatsugi

publication date

  • 2014