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

• Dominique M\'ery (LORIA 1 shared papers
• Elena Troubitsyna (Abo Akademi University 1 shared papers
• Finland) 1 shared papers
• France) 1 shared papers
• Japan) 1 shared papers
• R\'egine Laleau (LACL 1 shared papers
• Turku 1 shared papers
• University of Lorraine 1 shared papers
• University of Paris-Est Cr\'eteil 1 shared papers