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