학위논문(석사) - 한국과학기술원 : 전산학부, 2023.8,[iv, 44 p. :]
동시성▼a엄밀한 검증▼a프로그램 논리▼a자료 구조▼a분리 논리▼aChase-Lev 덱; Concurrency▼aformal verification▼aprogram logic▼adata structure▼aseparation logic▼aChase-Lev deque
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.