Gazda, M., & Hierons, R. M. (2021, June 29). Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1-13. https://doi.org/10.1109/LICS52264.2021.9470737
Chicago-Zitierstil (17. Ausg.)Gazda, Maciej, und Robert M. Hierons. "Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science 29 Jun. 2021: 1-13. https://doi.org/10.1109/LICS52264.2021.9470737.
MLA-Zitierstil (9. Ausg.)Gazda, Maciej, und Robert M. Hierons. "Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics." Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 29 Jun. 2021, pp. 1-13, https://doi.org/10.1109/LICS52264.2021.9470737.