LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes Academic Article

authors

publication date

June 30, 2022

published in

arXiv (Cornell University)

Digital Object Identifier (DOI)

https://doi.org/10.4204/eptcs.360.2

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W4285045409 Global Citation Count

start page

27

end page

44

volume

360