Automated Property Directed Self Composition.

Akshatha Shenoy, Sumanth Prabhu S, Kumar Madhukar, Ron Shemer, Mandayam K. Srivas

Browse the full ATVA paper archive.