Assia Mahboubi (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Benjamin Grégoire, Assia Mahboubi: Proving Equalities in a Commutative Ring Done Right in Coq. TPHOLs 2005: 98-113

Selection of 1 from 6 records - Assia Mahboubi has 6 coauthors