Automatically refining partial specifications for...

Science of Computer Programming 2014 / 03 Vol. 82

Automatically refining partial specifications for heap-manipulating programs

Qin, Shengchao, He, Guanhua, Luo, Chenguang, Chin, Wei-Ngan, Yang, Hongli
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
82
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2013.03.004
Date:
March, 2014
File:
PDF, 529 KB
english, 2014
Conversion to is in progress
Conversion to is failed