FormalMiner: A Formal Framework for Refinement Mining.

Antonio Cerone
Published in: STAF Workshops (2018)