다운로드 Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings TXT
- URL 실제 소스 : 원본 페이지 방문
- 짧은 URL :
- 원래 제목 : Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings
- 다운로드 링크 : Verification_Model_Checking_And_Abstract.txt
파일 정보: verification_model_checking_and_abstract.txt
- 페이지 뷰 : 21019
- 도서 다운로드 : 18500
- 마지막으로 방문한 페이지 : 4 시간 전
- 파일 크기 : 4.89Mb
- 도서 등급 : 3.8 out of 5 (189 votes)
