Kom til vår plakat om en ny benchmark for formelt verifisert kodegenerering fra nå til kl. 07:30 på #1411 Exhibit CDE!!