• Udgivet

  Formal Modelling and Analysis of Predictable Java

  Publikation: Forskning - peer review › Tidsskriftartikel

• Udgivet

  Graph Transformation for Consolidation of Creativity Sessions Results

  Publikation: Forskning - peer review › Tidsskriftartikel

• Udgivet

  Improving the Security of Infrastructure Software using Coccinelle

  Publikation: Formidling › Tidsskriftartikel

Vis alle »