DMCA

Modular proof principles for parameterised concretizations (2005)

by David Pichardie