Towards Specification and Refinement of Contracts with Environment Changes.

Qin Li, Huibiao Zhu

Browse the full SEW paper archive.