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

Publication:

2004

Journal article

Author(s)

;

;

Electronic Notes in Theoretical Computer Science

1925 since deposited on 2021-10-15

Acq. date: 2026-07-16