DMCA

Verifying Traits: An Incremental Proof System for Fine-Grained Reuse (2013)

by Ferruccio Damiani , Johan Dovland , Einar Broch Johnsen , Ina Schaefer
Citations:2 - 1 self