TY  - CONF

T1  - Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics

JO  - ACM/IEEE LICS 2021 36th Annual Symposium on Logic in Computer Science

PY  - -0001/11/30

AU  - Gazda M

AU  - Hierons R

ED  - 

Y2  - 2024/09/19

ER  -