AliceAndBob

AliceAndBob là một nhân viên tại Certora, chuyên phụ trách các hoạt động tìm kiếm và xác minh.