Browsing by author "Demoen, Bart"

Now showing items 1-1 of 1

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

Van Oudheusden, Karel; Demoen, Bart; Catthoor, Francky (2004-12)