Recycling Proof Patterns in Coq: Case Studies (2014)

by J Heras, E Komendantskaya
Venue:Journal Mathematics in Computer Science, accepted