登入選單

返回Google圖書搜尋

Proving Termination of Programs with Bitvector Arthimetic by Symbolic Execution

Jera HenselJürgen M. GieslerFlorian FrohnThomas Ströder

出版	RWTH Aachen, Department of Computer Science, 2016
URL	http://books.google.com.hk/books?id=wjj7zgEACAAJ&hl=&source=gbs_api