research
∙
03/14/2022
Conditional Contextual Refinement (CCR)
Contextual refinement (CR) is one of the standard notions of specifying ...
research
∙
09/07/2021