Kombinerad verifiering för utveckling av korrekta program
- Diarienummer
- A3 02:113
- Start- och slutdatum
- 020101-061231
- Beviljat belopp
- 8 000 000 kr
- Förvaltande organisation
- Chalmers University of Technology
- Forskningsområde
- Informations-, kommunikations- och systemteknik