Finished

Research Projects

• CaSSIS-Verif | Research Projects

  A UniBE funded project on software verification.

• VariantSync 1 | Research Projects

  A DFG funded project on software product lines.