Formally specifying dynamic data structures for embedded software design: an initial approach

Van Oudheusden, KarelKarelVan OudheusdenDemoen, B.B.DemoenCatthoor, FranckyFranckyCatthoor2021-10-152021-10-152004-04https://imec-publications.be/handle/20.500.12860/9776Formally specifying dynamic data structures for embedded software design: an initial approachProceedings paper