Frits W. Vaandrager. A New Perspective on Conformance Testing Based on Apartness. In Venanzio Capretta, Robbert Krebbers, Freek Wiedijk, editors, Logics and Type Systems in Theory and Practice - Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Volume 14560 of Lecture Notes in Computer Science, pages 225-240, Springer, 2024. [doi]
Abstract is missing.