1 paper
Robert M. Hierons, Mohammad Reza Mousavi
Apartness is a concept developed in constructive mathematics, which has resurfaced as a powerful notion for separating states in the area of model learning and model-based testing.…