Assertion-based Analysis via Slicing with ABETS (System Description) | Publicación