Modular Correctness Proofs of Behavioural Implementations (1995)

Cached

Download Links

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