L. Voisin

Identifiers

No identifiers captured yet.

Papers (1)

1. Theory Plug-in for Rodin 3.x cs.SE · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• A. Salehi 1 shared papers
• M. Butler 1 shared papers
• N. Beauger 1 shared papers
• T.S. Hoang 1 shared papers
• T. Wilkinson 1 shared papers