상세 보기
Formal Verification of Temporal Specification for Compile-Time Error Detection
Formal Verification of Temporal Specification for Compile-Time Error Detection
- 제목
- Formal Verification of Temporal Specification for Compile-Time Error Detection
- 제목 (타언어)
- Formal Verification of Temporal Specification for Compile-Time Error Detection
- 저자
- kim, Byeong-Man
- 발행일
- 1995-12-31