IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Prof. Dr.

Kokichi Futatsugi

Graduate School of Information Science
Japan Advanced Institute of Science and Technology (JAIST)
Japan
Research topics: Algebraic Specification Language and Method, Specification Verification, Proof Scores (updated at 2017-01-19)
http://www.jaist.ac.jp/~kokichi/