ITU

Formal Aspects of Computing

  1. 2019
  2. Published

    Finding suitable variability abstractions for lifted analysis

    Dimovski, A., Brabrand, C. & Wasowski, A., 2019, In: Formal Aspects of Computing. 31, 2, p. 231-259

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. 2018
  4. Published

    Editorial

    Denney, E., Stevens, P. & Wasowski, A., 2018, In: Formal Aspects of Computing. 30, 1, p. 1-1 1 p., 1.

    Research output: Journal Article or Conference Article in JournalEditorial

  5. 2010
  6. Published

    An Inductive Characterization of Matching in Binding Bigraphs

    Damgaard, T. C., Glenstrup, A. J., Birkedal, L. & Milner, R., 2010, In: Formal Aspects of Computing. 32 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

ID: 118529