Browse "Dept. of Information and Communications Engineering(정보통신공학과)" by Author 강성원
Showing results 7 to 7 of 7
| Translating typestates protocol specification into hoare-style specification for object-oriented program verification = 객체 지향 프로그램 검증을 위한 Typestates 프로토콜 명세의 Hoare 스타일 명세로의 번역link Kim, Taek-Goo; 김택구; Kang, Sung-Won; 강성원; et al, 한국과학기술원, 2009 |
Discover
Type
- 271 Thesis(Master)
- 194 Thesis(Ph.D)
Date issued
- 7 2020 - 2023
- 215 2010 - 2019
- 62 2000 - 2009
- 181 1993 - 1999