Synthesizing SBT and ACT | CE

October 12, 2023