Finished
A UniBE funded project on space software verification.
A DFG funded project on data analysis workflows.
A DFG funded project on software product lines.
A UniBE funded project on space software verification.
A DFG funded project on data analysis workflows.
A DFG funded project on software product lines.