TY  - RPRT
TI  - The External Interface for Extending WASP
AU  - Carmine Dodaro
AU  - Francesco Ricca
PY  - 2018
DO  - 10.1017/s1471068418000558
UR  - https://arxiv.org/abs/1811.01692
ID  - 1811.01692
ER  -