Authors

Van Oudheusden, Karel; Demoen, Bart; Catthoor, Francky

Journal

Electronic Notes in Theoretical Computer Science

Volume

108

Title

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

Publication type

Journal article