Publications
Export 1 results:
Filters: Keyword is trace semantics [Clear All Filters]
Incorporating Dynamic Analysis and Approximate Reasoning in Declarative Meta-Programming to Support Software Re-engineering: Vrije Universiteit Brussel, 2004.
,