Code-based requirements for software verification
| dc.contributor.author | Olsson, Albin | |
| dc.contributor.department | Chalmers tekniska högskola / Institutionen för elektroteknik | sv |
| dc.contributor.examiner | Fabian, Martin | |
| dc.date.accessioned | 2024-01-17T11:20:36Z | |
| dc.date.available | 2024-01-17T11:20:36Z | |
| dc.date.issued | 2023 | |
| dc.date.submitted | 2023 | |
| dc.identifier.coursecode | EENX30 | |
| dc.identifier.uri | http://hdl.handle.net/20.500.12380/307527 | |
| dc.language.iso | eng | |
| dc.setspec.uppsok | Technology | |
| dc.title | Code-based requirements for software verification | |
| dc.type.degree | Examensarbete för masterexamen | sv |
| dc.type.degree | Master's Thesis | en |
| dc.type.uppsok | H | |
| local.programme | Systems, control and mechatronics (MPSYS), MSc |