conference_invariant_synthesis.spec 1.02 KB