Abstract machines and small-step semantics: a winning ticket for proof automation?

Alain Delat, Sandrine Blazy, Denis Merigoux

Browse the full PPDP paper archive.