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