Home > Research > Browse

Results for Predicate logic

Publications & Outputs

  1. Formal semantic conflict detection in aspect-oriented requirements

    Weston, N., Chitchyan, R. & Rashid, A., 2009, In: Requirements Engineering . 14, 4, p. 247-268 22 p.

    Research output: Contribution to Journal/MagazineJournal articlepeer-review