Login / Signup
Kokichi Futatsugi
ORCID
Publication Activity (10 Years)
Years Active: 1980-2022
Publications (10 Years): 8
Top Topics
Business Processes
Theorem Proving
Valued Semantics
Proof Planning
Top Venues
Specification, Algebra, and Software
APSEC
CoRR
FASE
</>
Publications
</>