Efficient Automatic STE Refinement Using Responsibility.

Hana Chockler, Orna Grumberg, Avi Yadgar

Browse the full TACAS paper archive.