Browsing by Author "Demoen, Bart"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication Formally specifying dynamic data structures for embedded software design: an initial approach
Journal article2004-12, Electronic Notes in Theoretical Computer Science, 108, p.99-112