Totals for datasets (co-)authored by M.E.C. (Myrthe) Van Delft

Datasets

• Coq formalisation of Consistent Consequence for Boolean Equation Systems

Co-authors

Co-authors of M.E.C. (Myrthe) Van Delft's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• J.H. (Herman) Geuvers
• Tim Willemse