Items where authors include "Nogueira, S."

Article

Cavalcanti, A., Hierons, R.M. orcid.org/0000-0002-4771-1446 and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic, 21 (3). 24. ISSN 1529-3785

Cavalcanti, A. L. C. orcid.org/0000-0002-0831-1976, Hierons, Robert M. and Nogueira, S. (2020) Inputs and outputs in CSP : a model and a testing theory. ACM Transactions on Computational Logic. 24. ISSN 1529-3785