#local-reasoning

Local Reasoning 기반의 Global Property 보장을 통한 시스템 신뢰성 확보

Local Reasoning for Global Properties