Back to overview

Marie Heim-Vögtlin: Verification of Object-Oriented Distributed Systems

Applicant Richner-Hanna Tamar
Number 41671
Funding scheme Marie Heim-Voegtlin grants
Research institution Institut für Informatik Universität Bern
Institution of higher education University of Berne - BE
Main discipline Information Technology
Start/End 01.10.1994 - 31.03.1998
Approved amount 98'487.00
Show all

Responsible applicant and co-applicants