UM
(Note: the search results are based on claimed items)

Browse/Search Results:  1-1 of 1 Help

Filters            
Selected(0)Clear Items/Page:    Sort:
rCOS: A refinement calculus of object systems Journal article
Theoretical Computer Science, 2006,Volume: 365,Issue: 2018-01-02,Page: 109
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite | View/Download:7/0 | TC[WOS]:49 TC[Scopus]:73 | Submit date:2018/10/30
Object Orientation  Refinement  Semantics  Utp