pith. sign in

Shin Nakajima (National Institute of Informatics

Identifiers

No identifiers captured yet.

Papers (1)

  1. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) cs.LO · 2018 · author #7

Mentions

No mention provenance yet.

Frequent Coauthors