On automation of OTS/CafeOBJ method Chapter uri icon

Book Title

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

publication date

  • January 1, 2014