Formal Methods for Component Software: The Re nement Calculus Perspective (1997)

by M Buchi, E Sekerinski
Venue:Proceedings of the Second International Workshop on Component-Oriented Programming, in conjunction with ECOOP'97