Enhancing spark's contract checking facilities using...

ACM SIGAda Ada Letters 2011 / 11 Vol. 31; Iss. 3

Enhancing spark's contract checking facilities using symbolic execution

Belt, Jason, Hatcliff, John, Robby,, Chalin, Patrice, Hardin, David, Deng, Xianghua
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:
31
Language:
english
Journal:
ACM SIGAda Ada Letters
DOI:
10.1145/2070336.2070357
Date:
November, 2011
File:
PDF, 908 KB
english, 2011
Conversion to is in progress
Conversion to is failed