Proving the Correctness of Behavioural Implementations (1995)

by M Bidoit, R Hennicker
Venue:Proc. AMAST ’95, Springer LNCS 936