TY  - RPRT
TI  - Towards Substructural Property-Based Testing
AU  - Marco Mantovani
AU  - Alberto Momigliano
PY  - 2021
UR  - https://arxiv.org/abs/2108.01610
ID  - 2108.01610
ER  -