Modular Correctness Proofs of Behavioural Implementations (1995)

View PDF

Download Links

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