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

Cached

Download Links

by Martin Büchi , Emil Sekerinski
Venue:PROCEEDINGS OF THE SECOND WORKSHOP ON COMPONENT-ORIENTED PROGRAMMING (WCOP), VOLUME 5 OF TUCS GENERAL PUBLICATION, PAGES 23–32, SHORT VERSION IN ECOOP’97 WORKSHOP READER LNCS 1357
Citations:21 - 3 self