DMCA

Recycling Proof Patterns in Coq: Case Studies (2014)

Cached

Download Links

by Ekaterina Komendantskaya
Venue:Journal Mathematics in Computer Science, accepted
Citations:3 - 2 self