Tilrådd term
Programverifikasjon
Type
- Innholdsbeskrivende emne
Overordna omgrep
Tilvisingsterm
- Formell verifikasjon
Identifikator
- HUME64259
Redaksjonelle merknadar
- Lukket bemerkning: ubo24
På andre språk
engelsk
- Program verification
- Formal verification
norsk nynorsk
- Programverifikasjon
- Formell verifikasjon
URI
http://data.ub.uio.no/humord/c64259