Laure Petrucci (Universit\'e Paris 13
Identifiers
No identifiers captured yet.
Papers (1)
- Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications cs.LO · 2014 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- CNRS 1 shared papers
- F-93430 1 shared papers
- France) 1 shared papers
- LIPN 1 shared papers
- Shang-Wei Lin 1 shared papers
- Sorbonne Paris Cit\'e 1 shared papers
- UMR 7030 1 shared papers
- Villetaneuse 1 shared papers