Results (15)

  • EMSOFT: Embedded Software
    Edited conference proceeding
  • Interface automata
    Conference paper