Algorithm Specification in CoLweb with Imperative Code | 권기항 교수 연구실 | 동아대학교 컴퓨터공학과 | 디써클

|권기항 교수 연구실

홈

연구 영역

기본 정보

논문·특허

과제

구성원

Article|

인용수 0

·2026

Algorithm Specification in CoLweb with Imperative Code

Keehang Kwon, Seongjoon Kwon

키워드

Code (set theory)Formal specificationSource codeSoftwareKey (lock)

타입

Article

IF / 인용수

- / 0

원문

https://doi.org/10.13140/rg.2.2.21111.07841

게재 연도

2026