Combining Verification Methods in Software Development
- Reference number
- A3 02:113
- Start and end dates
- 020101-061231
- Amount granted
- 8 000 000 SEK
- Administrative organization
- Chalmers University of Technology
- Research area
- Information, Communication and Systems Technology