ModelEd, TestEd, TrustEd

J. Katoen,R. Langerak,A. Rensink
DOI: https://doi.org/10.1007/978-3-319-68270-9
Abstract:
What problem does this paper attempt to address?