25th MBMV Workshop

BTC Embedded Systems will join the 25th MBMV Workshop and give a talk about “Detection and Elimination of Constants to Strengthen k-Induction”