Verified Software: Theories, Tools, Experiments

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers presented together with 4 invited talks were carefully revised and selected for inclusion in the book. Th...

全面介紹

Saved in:
書目詳細資料
其他作者: Shankar, Natarajan
格式: 圖書
語言:English
出版: Springer 2017
主題:
005
在線閱讀:http://repository.vnu.edu.vn/handle/VNU_123/31039
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!
機構: Vietnam National University, Hanoi
語言: English