Characterisations of testing preorders f
β
Deng, Yuxin; Tiu, Alwen
π
Article
π
2012
π
Springer
π
English
β 424 KB