JAIST Repository >

Items for Author "Futatsugi, K"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
Jan-2006 A toolkit for generating and displaying proof scores in the OTS/CafeOBJ methodSeino, T; Ogata, K; Futatsugi, K


Contact : Library Information Section, Japan Advanced Institute of Science and Technology