Tests and Refutation.

Mohammad Torabi Dashti, David A. Basin

Browse the full ATVA paper archive.