TY  - RPRT
TI  - LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes
AU  - Mathieu Montin
AU  - Amélie Ledein
AU  - Catherine Dubois
PY  - 2022
DO  - 10.4204/eptcs.360.2
UR  - https://arxiv.org/abs/2207.03994
ID  - 2207.03994
ER  -