Project Acronym Projekt Kurzbezeichnung
VHS
Project Title (de) Projekttitel (de)
Holonomic Sequences in Program Verification
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in