Catherine Dubois

Identifiers

• name variant Catherine Dubois 0.60 · backfill

Papers (2)

1. Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving cs.LO · 2017 · author #1
2. Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules cs.SE · 2015 · author #2

Mentions

• 1504.03475 #2 · backfill · confidence 0.70 Catherine Dubois

Frequent Coauthors

• Bruno Woltzenlogel Paleo 1 shared papers
• Nicole Levy 1 shared papers
• Thi-Kim-Zung Pham 1 shared papers