TY  - RPRT
TI  - A conformance relation and complete test suites for I/O systems
AU  - Adilson Luiz Bonifacio
AU  - Arnaldo Vieira Moura
PY  - 2020
UR  - https://arxiv.org/abs/1902.10278
ID  - 1902.10278
ER  -