Research output

  1. AspectJ code analysis and verification with GASR

    Research output: Contribution to journalArticle

  2. Detecting Function Purity in JavaScript

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. Model querying with query models

    Research output: Chapter in Book/Report/Conference proceedingConference paper

View all (24) »

ID: 101174