cerca qualsiasi parola, ad esempio fleek:

non-interference non è definito.
Puoi dare una definizione?