Enabling Efficient Assertion Inference | Publicación