University of Paris-Est Cr\'eteil

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 #2

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
• Shin Nakajima (National Institute of Informatics 1 shared papers
• Turku 1 shared papers
• University of Lorraine 1 shared papers