Login / Signup
Matteo Cavada
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Special Case
Evolutionary Algorithm
Statistical Analysis
Top Venues
CILC
</>
Publications
</>
Matteo Cavada
,
Andrea Colò
,
Alberto Momigliano
MutantChick: Type-Preserving Mutation Analysis for Coq.
CILC
(2020)