A Calculus for Attribute-Based Memory Updates

10.1007/978-3-030-85315-0_21

WOS:000698708600021

http://hdl.handle.net/11390/1211284

info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85115166863

https://ricerca.unityfvg.it/handle/11390/1211284

closed access