Ahmad Salim Al-Sibahi

Ahmad Salim Al-Sibahi

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S

Information Desk: 72185000

View graph of relations

Research outputs (7)

  1. Published
  2. Published

    Efficient family-based model checking via variability abstractions

    Research output: Journal Article or Conference Article in JournalJournal article

  3. Published

    Symbolic Execution of High-Level Transformations

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedings

View all (7) »

Recent activities and conferences

ID: 78471534