Synthesis of circular compositional program proofs via...

  • Main
  • 2015 / 8
  • Synthesis of circular compositional program proofs via...
International Journal on Software Tools for Technology Transfer (STTT) 2015 / 8

Synthesis of circular compositional program proofs via abduction

Dillig, Isil, Dillig, Thomas, Li, Boyang, McMillan, Ken, Sagiv, Mooly
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?
Language:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-015-0397-7
Date:
August, 2015
File:
PDF, 640 KB
english, 2015
Conversion to is in progress
Conversion to is failed