Proving the Correctness of Behavioural Implementations (1995)

View PDF

Download Links

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