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

Publication:

2004-12

Journal article

Author(s)

;

;

Electronic Notes in Theoretical Computer Science

1921 since deposited on 2021-10-15

3last month

2last week

Acq. date: 2026-01-08