Cooperative Software Verification

Overview

Key Facts

Grant Number:
Project type:
Sonstiger Zweck
Project duration:
10/2019 - 09/2022
Funded by:
Deutsche Forschungsgemeinschaft (DFG)
Website:
Homepage

More Information

Principal Investigators

contact-box image

Prof. Dr. Heike Wehrheim

Specification and Modelling of Software Systems

About the person

Cooperating Institutions

Ludwig-Maximilian-Universität München

Cooperating Institution

Funded by:

Logo Förderer