Anbefalt term
Programverifikasjon
Type
- Innholdsbeskrivende emne
Overordnede begreper
Henvisningsterm
- Formell verifikasjon
Identifikator
- HUME64259
På andre språk
engelsk
- Program verification
- Formal verification
norsk bokmål
- Programverifikasjon
- Formell verifikasjon
URI
http://data.ub.uio.no/humord/c64259