Inputs and outputs in CSP: a model and a testing theory

Research output: Contribution to journalArticlepeer-review

Full text download(s)

Published copy (DOI)



Publication details

JournalACM Transactions on Computational Logic
DateAccepted/In press - 9 Mar 2020
DatePublished (current) - May 2020
Issue number3
Number of pages53
Original languageEnglish

Bibliographical note

© 2020 Association for Computing Machinery. This is an author-produced version of the published paper. Uploaded in accordance with the publisher’s self-archiving policy. Further copying may not be permitted; contact the publisher for details.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations