DMCA

Modular Correctness Proofs of Behavioural Implementations (1995)

Cached

Download Links

by Michel Bidoit , Rolf Hennicker
Citations:29 - 13 self