Proving the Correctness of Behavioural Implementations (1995)

Cached

Download Links

by Michel Bidoit , Rolf Hennicker
Venue:Proc. AMAST '95, Springer LNCS 936
Citations:12 - 4 self