DSpace at KOASAS
Browsing DSpace

Browse "Dept. of Information and Communications Engineering(정보통신공학과)" by Author 알드리치, 조나단

A to Z

All 0-9

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:

Showing results 1 to 1 of 1

1
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

rss_1.0 rss_2.0 atom_1.0