A Balanced Verification Effort for the Java Language
- 주제(키워드) A , BALANCED , EFFORT , FORMAL METHODS , Formal methods , JAVA , LANGUAGE , SOFTWARE VERIFICATION , Software verification , VERIFICATION
- 발행기관 The Ohio State University.
- 발행년도 2016
- 학위명 박사
- 학과 및 전공 Computer Science and Engineering
- UCI I804:11009-000000149942
- 제출원본 PQDT10294708
